47838,47854d
39664,39667c
Filename: pool/main/r/rocq-stdlib/libcoq-stdlib_9.1.0-1+b1_arm64.deb
Size: 20079112
MD5sum: 1a4ab9d2aa6f6b93f5a7b42a7f9c51a7
SHA256: 6c2ff4c587f01563a4414ff16a0c4fd6e87c29aff9c735ef90504b103e3a4ef0
.
39657c
Provides: libcoq-stdlib-t06o5
.
39652,39654c
Source: rocq-stdlib (9.1.0-1)
Version: 9.1.0-1+b1
Installed-Size: 70706
.
38788,38791c
Filename: pool/main/r/rccl/librccl1_7.2.4-1~exp2_arm64.deb
Size: 369396884
MD5sum: 521cc93126012c8495d94a84c82f0bb5
SHA256: 241af43cfe7cf8e1ca8a5b2e6be413571b50cb7931eb9f1c4f821742af4f2234

Package: librccl1-tests
Source: rccl
Version: 7.2.4-1~exp2
Installed-Size: 5403
Maintainer: Debian ROCm Team <debian-ai@lists.debian.org>
Architecture: arm64
Depends: librccl1 (= 7.2.4-1~exp2), libamdhip64-7 (>= 7.2.0~), libc6 (>= 2.38), libgcc-s1 (>= 4.5), libhsa-runtime64-1 (>= 7.2.0~), libstdc++6 (>= 14)
Description: ROCm Communication Collectives Library - tests
Homepage: https://github.com/ROCm/rccl
Description-md5: db5129a99698c655f7fbfe6bc33eaf68
X-Rocm-Gpu-Architecture: gfx908 gfx90a gfx942 gfx950 gfx1030 gfx1100 gfx1101 gfx1200 gfx1201
Section: libdevel
Priority: optional
Filename: pool/main/r/rccl/librccl1-tests_7.2.4-1~exp2_arm64.deb
Size: 350996
MD5sum: 75a381e51f277a35398e33bf0aa90b97
SHA256: 060302e92c08b1eaa5801839c1ab73f433ba96677c1055c126d91b9d08b4376d
.
38785,38786c
Description-md5: 4ce233ca209f9d9b829906e81844af89
Section: libdevel
Priority: optional
Filename: pool/main/r/rccl/librccl-dev_7.2.4-1~exp2_arm64.deb
Size: 26248
MD5sum: f3370fcc3577c868e5f5458d4af3f53f
SHA256: d781125b12c607891c2dd542ea946f99107b65e43480b920d02a2c1794cf8f40

Package: librccl1
Source: rccl
Version: 7.2.4-1~exp2
Installed-Size: 370264
Maintainer: Debian ROCm Team <debian-ai@lists.debian.org>
Architecture: arm64
Depends: libamdhip64-7 (>= 7.2.0~), libc6 (>= 2.42), libgcc-s1 (>= 4.5), librocm-smi64-1 (>= 6.4.1), libstdc++6 (>= 13.1)
Description: ROCm Communication Collectives Library - library
Homepage: https://github.com/ROCm/rccl
Description-md5: ec9b01a6c897699e6e3e8bd8a0d6b318
X-Rocm-Gpu-Architecture: gfx908 gfx90a gfx942 gfx950 gfx1030 gfx1100 gfx1101 gfx1200 gfx1201
Section: libs
.
38780,38783c
Architecture: arm64
Depends: librccl1 (= 7.2.4-1~exp2), libamdhip64-dev
Suggests: librccl-doc
Description: ROCm Communication Collectives Library - headers
.
38777,38778c
Version: 7.2.4-1~exp2
Installed-Size: 108
.
38775c
Package: librccl-dev
.
36270a
Package: plantuml
Version: 1:1.2026.2+ds-3
Installed-Size: 29514
Maintainer: Andrej Shadura <andrewsh@debian.org>
Architecture: all
Depends: default-jre-headless, libavalon-framework-java, libbatik-java, libcommons-io-java, libcommons-logging-java, libfop-java, libjlatexmath-java, libxml-commons-external-java, libxmlgraphics-commons-java, libfontconfig1, libfreetype6 (>= 2.3.5), libharfbuzz0b (>= 2.1.1)
Recommends: graphviz
Description: text-to-UML converter
Homepage: http://plantuml.com/
Description-md5: fe3fe5ee20f1cbdeefe10d6d499e71cb
Section: graphics
Priority: optional
Filename: pool/main/p/plantuml/plantuml_1.2026.2+ds-3_all.deb
Size: 27568476
MD5sum: 88a2b97e17f002fed5ea8c8466b5c8e8
SHA256: 016ccbd0e81ae1c46cb2c18a4d893d8dcdfc46f8e76226b38cb4b816f39f89bd

.
36085,36215d
33157a
Package: liboxygenstyleconfig-data
Source: oxygen
Version: 4:6.7.2-1
Installed-Size: 221
Maintainer: Debian Qt/KDE Maintainers <debian-qt-kde@lists.debian.org>
Architecture: all
Replaces: liboxygenstyleconfig5-6 (<< 4:6.6.3-1~)
Depends: plasma-version-base-6.7
Breaks: liboxygenstyleconfig5-6 (<< 4:6.6.3-1~)
Description: style library configuration for the Oxygen desktop theme - data files
Multi-Arch: foreign
Homepage: https://invent.kde.org/plasma/oxygen
Description-md5: 628ef7706ead395de17f524e704edfe2
Section: kde
Priority: optional
Filename: pool/main/o/oxygen/liboxygenstyleconfig-data_6.7.2-1_all.deb
Size: 19172
MD5sum: a40c85970fd19143ae459c3834fa61e3
SHA256: 663773d84f570ab9bfa703fc1556bb1b21bbb0101b0b5b7934f805ad981bf929

Package: oxygen-wallpapers
Source: oxygen
Version: 4:6.7.2-1
Installed-Size: 25252
Maintainer: Debian Qt/KDE Maintainers <debian-qt-kde@lists.debian.org>
Architecture: all
Depends: plasma-version-base-6.7
Description: wallpapers for the Oxygen desktop theme
Multi-Arch: foreign
Homepage: https://invent.kde.org/plasma/oxygen
Description-md5: 8756a17a8737d1b08cda710fb1c4545f
Section: kde
Priority: optional
Filename: pool/main/o/oxygen/oxygen-wallpapers_6.7.2-1_all.deb
Size: 25358160
MD5sum: 1a4b496ce74570f219c735b7ae6597fa
SHA256: 71f9e8f6c505f09838c1ee77b82bba5886ffdfeec815d5a74eb3bf8fd8dae1a4

.
33118,33121c
Filename: pool/main/o/ott/ott-tools_0.34+ds-4_arm64.deb
Size: 1666008
MD5sum: 19dcdc175cb9525808a76bbcd729d8da
SHA256: 73cb505ac3f83363c66476f7107cd6931535ee724a8b9f2728539fcd6142eec6
.
33108,33109c
Version: 0.34+ds-4
Installed-Size: 7167
.
33101,33104c
Filename: pool/main/o/ott/libcoq-ott_0.34+ds-4_arm64.deb
Size: 164232
MD5sum: 852c9720f3c2cd58197742d716115331
SHA256: 05c3d7568f6d839dbb511571f0f4476d8f15566e9f9338e799d9931b5d0abd86
.
33094,33095c
Provides: libcoq-ott-to595
Depends: libcoq-stdlib-t06o5
.
33090,33091c
Version: 0.34+ds-4
Installed-Size: 537
.
31285,31303d
31232a

Package: node-stylis
Version: 4.4.0+~cs4.2.7-1
Installed-Size: 177
Maintainer: Debian Javascript Maintainers <pkg-javascript-devel@lists.alioth.debian.org>
Architecture: all
Description: Light–weight CSS Preprocessor
Multi-Arch: foreign
Homepage: https://github.com/thysultan/stylis.js
Description-md5: 3df819d5b9e278e726fe7cab5988dc75
Section: javascript
Priority: optional
Filename: pool/main/n/node-stylis/node-stylis_4.4.0+~cs4.2.7-1_all.deb
Size: 27056
MD5sum: e8e6f91b23e3e3ec5b6ce9fcd209f69f
SHA256: e3660e88cc80de3d8ef61719b872aa1fb64b9c940d5c83d54802e90c75251f8b
.
31060c

.
30768,30954d
29519,29602d
29178,29181c
Filename: pool/main/m/mini-buildd/python3-mini-buildd_2.5.4_all.deb
Size: 203440
MD5sum: a0d67eae741c1918eecc477bd359a030
SHA256: 184547360ea37ebacd68349563f82b48a82311d8fb06ff7c32a9c9ef09c29dbc
.
29165,29166c
Version: 2.5.4
Installed-Size: 1056
.
29158,29161c
Filename: pool/main/m/mini-buildd/mini-buildd-utils_2.5.4_all.deb
Size: 59212
MD5sum: 8c4506de829d688d78913b8a0311e025
SHA256: 314160ee18dbd12c8f5a45cc376a8555f363612e7141c0b79c7e5e6f190f985c
.
29150c
Depends: python3:any (>= 3.11~), python3-mini-buildd (= 2.5.4), python3-apt
.
29145,29146c
Version: 2.5.4
Installed-Size: 110
.
29138,29141c
Filename: pool/main/m/mini-buildd/mini-buildd-doc_2.5.4_all.deb
Size: 341044
MD5sum: 9feeec4a5bd504624365768349fcdbf2
SHA256: 847f90552dd94c32e384f2be84be296892c2e41db9033e6ddf0d4c94696a0be8
.
29130c
Depends: libjs-sphinxdoc (>= 9.0)
.
29125,29126c
Version: 2.5.4
Installed-Size: 3707
.
29118,29121c
Filename: pool/main/m/mini-buildd/mini-buildd_2.5.4_all.deb
Size: 77916
MD5sum: edd6c71852aab6a23741344a861ffaca
SHA256: f6e4a12d720ae995f9242eedb1290dfbde1b1c761a240def76ccba7696bbf389
.
29108,29109c
Depends: debconf (>= 0.5) | debconf-2.0, python3:any (>= 3.11~), python3-mini-buildd (= 2.5.4), adduser, sudo, gnupg (>= 2.2.26), dirmngr, reprepro (>= 5.3.1-4~), debootstrap (>= 1.0.126+nmu1~), zstd, schroot (>= 1.6.10-3~), schroot (<< 1.7), dpkg-dev (>= 1.17.27~), devscripts (>= 2.14.5~)
Pre-Depends: sbuild-schroot | sbuild (>= 0.72)
.
29103,29104c
Version: 2.5.4
Installed-Size: 246
.
24832a
Package: libyang-cpp-dev
Source: libyang-cpp
Version: 4+20260710-1
Installed-Size: 97
Maintainer: Daniel Baumann <daniel@debian.org>
Architecture: arm64
Depends: libyang-cpp10 (= 4+20260710-1)
Description: parser toolkit for IETF YANG data modeling language (C++ development)
Homepage: https://github.com/CESNET/libyang-cpp
Description-md5: 70812117644de8fe2f29a09d12942392
Tag: devel::library, role::devel-lib
Section: libdevel
Priority: optional
Filename: pool/main/liby/libyang-cpp/libyang-cpp-dev_4+20260710-1_arm64.deb
Size: 17128
MD5sum: 8d58966af8565580b4897d6c2971a30e
SHA256: 7fe718a9d4a8ed102578800c540570e80c690de306523809fbecd5a067964dc6

Package: libyang-cpp10
Source: libyang-cpp
Version: 4+20260710-1
Installed-Size: 468
Maintainer: Daniel Baumann <daniel@debian.org>
Architecture: arm64
Depends: libc6 (>= 2.32), libgcc-s1 (>= 3.0), libstdc++6 (>= 13), libyang5 (>= 5.8.6)
Description: parser toolkit for IETF YANG data modeling language (C++ library)
Multi-Arch: same
Homepage: https://github.com/CESNET/libyang-cpp
Description-md5: 9510f9aecdbdadb47deee730c0a72ebb
Section: libs
Priority: optional
Filename: pool/main/liby/libyang-cpp/libyang-cpp10_4+20260710-1_arm64.deb
Size: 100664
MD5sum: 70ef1912be27655c4d6d47b4a046930a
SHA256: 30b35b9999bc02d0ad5f49a6ac7e6e6f4e920caa7e871596f0a4823674659102

.
24510,24625d
24492a
Package: libtorrent-rasterbar-dev
Source: libtorrent-rasterbar
Version: 2.1.0-2
Installed-Size: 2239
Maintainer: Christian Marillat <marillat@debian.org>
Architecture: arm64
Depends: libtorrent-rasterbar2.1 (= 2.1.0-2), libssl-dev, pkgconf, libboost-dev
Suggests: libtorrent-rasterbar-doc
Description: Development files for libtorrent-rasterbar
Multi-Arch: same
Homepage: https://libtorrent.org/
Description-md5: 705ada813b82d11c67efa98c9c4ca92d
Tag: devel::lang:c++, devel::library, implemented-in::c++, role::devel-lib
Section: libdevel
Priority: optional
Filename: pool/main/libt/libtorrent-rasterbar/libtorrent-rasterbar-dev_2.1.0-2_arm64.deb
Size: 437488
MD5sum: d5b0318d2bd329b564e723715ecdc5ed
SHA256: 0ee86e59038ff72435a4a3cf7bd384c0b2aa2291f90ea2d1c0847379af68c941

Package: libtorrent-rasterbar-doc
Source: libtorrent-rasterbar
Version: 2.1.0-2
Installed-Size: 6074
Maintainer: Christian Marillat <marillat@debian.org>
Architecture: all
Description: Documentation for libtorrent-rasterbar
Multi-Arch: foreign
Homepage: https://libtorrent.org/
Description-md5: 73e12f09fdc69aff638cb9fc1456982b
Tag: devel::doc, made-of::html, protocol::bittorrent, role::documentation,
 role::program, use::downloading
Section: doc
Priority: optional
Filename: pool/main/libt/libtorrent-rasterbar/libtorrent-rasterbar-doc_2.1.0-2_all.deb
Size: 1718880
MD5sum: cd06f1fb71d1ee5e128e361e4ee4a7a5
SHA256: 1fcecf59a35b14a865a002184fe3b3d1bb55d96af99f98b3cc471ef2c56198f9

Package: libtorrent-rasterbar2.1
Source: libtorrent-rasterbar
Version: 2.1.0-2
Installed-Size: 9264
Maintainer: Christian Marillat <marillat@debian.org>
Architecture: arm64
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.0), libssl3t64 (>= 3.0.0), libstdc++6 (>= 14)
Description: C++ bittorrent library by Rasterbar Software
Multi-Arch: same
Homepage: https://libtorrent.org/
Description-md5: 2eaccb98576b5d83c868c53992a012f8
Section: libs
Priority: optional
Filename: pool/main/libt/libtorrent-rasterbar/libtorrent-rasterbar2.1_2.1.0-2_arm64.deb
Size: 2498596
MD5sum: 53d73e4a5724504b38c6c354e6de5cfb
SHA256: 17a4e86d5dd2915d469c9037f3aa82af1fbd69eac059a3eb4675bc4a636699a1

Package: python3-libtorrent
Source: libtorrent-rasterbar
Version: 2.1.0-2
Installed-Size: 4942
Maintainer: Christian Marillat <marillat@debian.org>
Architecture: arm64
Depends: libboost-python1.90.0 (>= 1.90.0), libboost-python1.90.0-py314, libc6 (>= 2.38), libgcc-s1 (>= 3.0), libssl3t64 (>= 3.0.0), libstdc++6 (>= 14), libtorrent-rasterbar2.1 (>= 2.1.0), python3 (<< 3.15), python3 (>= 3.14~)
Description: Python bindings for libtorrent-rasterbar (Python 3)
Homepage: https://libtorrent.org/
Description-md5: 1ae4d06eab5e84835d075e1f7376d626
Section: python
Priority: optional
Filename: pool/main/libt/libtorrent-rasterbar/python3-libtorrent_2.1.0-2_arm64.deb
Size: 632840
MD5sum: 12cfb5971a655379c6b6bb3c388977f2
SHA256: 38269b35c2043f81e879644ace67cbc783652ab00930113e8936b3c9621de162

.
19531,19567d
17707,17710c
Filename: pool/main/k/kstars/kstars-data_3.8.3-2_all.deb
Size: 22397564
MD5sum: 32b0caa52d05f969b1cc6bbcaf240129
SHA256: cd60ece65960bb50b1b0cfd8638a819f0fca273f8e84507c39463e8d6a6c5cc7
.
17696,17698c
Version: 5:3.8.3-2
Installed-Size: 73323
Maintainer: Debian KDE Extras Team <pkg-kde-extras@alioth-lists.debian.net>
.
17689,17692c
Filename: pool/main/k/kstars/kstars_3.8.3-2_arm64.deb
Size: 8438324
MD5sum: 1968a7b9e0bbd91043330701d0d9414e
SHA256: 3b59f20ff9f26d669ce591127bdf2a28be9d95cc6c0ba5384f877e07b66b4812
.
17678,17679c
Depends: kstars-data (= 5:3.8.3-2), libqt5sql5-sqlite, kio, libc6 (>= 2.38), libcfitsio10t64 (>= 4.2.0~), libgcc-s1 (>= 4.0), libgsl28 (>= 2.8+dfsg), libindiclient2 (>= 2.2.3.1+dfsg), libkf5configcore5 (>= 5.68.0~), libkf5configgui5 (>= 5.68.0~), libkf5configwidgets5 (>= 5.23.0), libkf5coreaddons5 (>= 4.100.0), libkf5i18n5 (>= 5.69.0), libkf5kiocore5 (>= 5.69.0), libkf5kiowidgets5 (>= 5.69.0), libkf5newstuff5 (>= 5.68.0~), libkf5notifications5 (>= 5.68.0~), libkf5notifyconfig5 (>= 5.68.0~), libkf5plotting5 (>= 5.68.0~), libkf5widgetsaddons5 (>= 5.100.0), libkf5xmlgui5 (>= 5.68.0~), libopencv-calib3d410 (>= 4.10.0+dfsg), libopencv-core410 (>= 4.10.0+dfsg), libopencv-imgproc410 (>= 4.10.0+dfsg), libqt5concurrent5t64 (>= 5.12.7~), libqt5core5t64 (>= 5.15.1), libqt5datavisualization5 (>= 5.12.7~), libqt5dbus5t64 (>= 5.14.1), libqt5gui5t64 (>= 5.14.1) | libqt5gui5-gles (>= 5.14.1), libqt5keychain1 (>= 0.7.0), libqt5network5t64 (>= 5.15.1), libqt5printsupport5t64 (>= 5.12.7~), libqt5qml5 (>= 5.12.7~), libqt5quick5 (>= 5.12.7~) | libqt5quick5-gles (>= 5.12.7~), libqt5sql5t64 (>= 5.12.7~), libqt5svg5 (>= 5.12.7~), libqt5websockets5 (>= 5.12.7~), libqt5widgets5t64 (>= 5.15.1), libraw25 (>= 0.22.0), libstdc++6 (>= 14), libstellarsolver2 (>= 2.7), libwcs8 (>= 8.1), libxisf0 (>= 0.2.13), zlib1g (>= 1:1.2.0)
Recommends: astrometry.net, breeze-icon-theme, indi-bin, xplanet
.
17674,17676c
Version: 5:3.8.3-2
Installed-Size: 35450
Maintainer: Debian KDE Extras Team <pkg-kde-extras@alioth-lists.debian.net>
.
16482a
Package: jupyterlab
Version: 4.4.1+ds1+~3.0.5+~0.16.6+~cs1.4.4-1
Installed-Size: 103657
Maintainer: Debian Javascript Maintainers <pkg-javascript-devel@lists.alioth.debian.org>
Architecture: all
Replaces: node-jupyterlab (<< 4.0.11+ds1+~cs11.25.27~), python3-jupyterlab (<< 4.0.11+ds1+~cs11.25.27~)
Provides: jupyter-lab (= 4.4.1+ds1+~3.0.5+~0.16.6+~cs1.4.4-1), jupyter-labextension (= 4.4.1+ds1+~3.0.5+~0.16.6+~cs1.4.4-1), jupyter-labhub (= 4.4.1+ds1+~3.0.5+~0.16.6+~cs1.4.4-1), node-jupyter-react-components (= 0.16.6), node-jupyter-ui-demo (= 0.16.6), node-jupyter-web-components (= 0.16.6), node-jupyter-ydoc (= 3.0.5), node-jupyterlab (= 4.4.1+ds1+~3.0.5+~0.16.6+~cs1.4.4-1), node-jupyterlab-application (= 4.4.1), node-jupyterlab-application-extension (= 4.4.1), node-jupyterlab-application-top (= 4.4.1), node-jupyterlab-apputils (= 4.5.1), node-jupyterlab-apputils-extension (= 4.4.1), node-jupyterlab-attachments (= 4.4.1), node-jupyterlab-builder (= 4.4.1), node-jupyterlab-buildutils (= 4.4.1), node-jupyterlab-cell-toolbar (= 4.4.1), node-jupyterlab-cell-toolbar-extension (= 4.4.1), node-jupyterlab-cells (= 4.4.1), node-jupyterlab-celltags-extension (= 4.4.1), node-jupyterlab-codeeditor (= 4.4.1), node-jupyterlab-codemirror (= 4.4.1), node-jupyterlab-codemirror-extension (= 4.4.1), node-jupyterlab-completer (= 4.4.1), node-jupyterlab-completer-extension (= 4.4.1), node-jupyterlab-console (= 4.4.1), node-jupyterlab-console-extension (= 4.4.1), node-jupyterlab-coreutils (= 6.4.1), node-jupyterlab-csvviewer (= 4.4.1), node-jupyterlab-csvviewer-extension (= 4.4.1), node-jupyterlab-debugger (= 4.4.1), node-jupyterlab-debugger-extension (= 4.4.1), node-jupyterlab-docmanager (= 4.4.1), node-jupyterlab-docmanager-extension (= 4.4.1), node-jupyterlab-docregistry (= 4.4.1), node-jupyterlab-documentsearch (= 4.4.1), node-jupyterlab-documentsearch-extension (= 4.4.1), node-jupyterlab-extensionmanager (= 4.4.1), node-jupyterlab-extensionmanager-extension (= 4.4.1), node-jupyterlab-filebrowser (= 4.4.1), node-jupyterlab-filebrowser-extension (= 4.4.1), node-jupyterlab-fileeditor (= 4.4.1), node-jupyterlab-fileeditor-extension (= 4.4.1), node-jupyterlab-galata (= 5.4.1), node-jupyterlab-help-extension (= 4.4.1), node-jupyterlab-htmlviewer (= 4.4.1), node-jupyterlab-htmlviewer-extension (= 4.4.1), node-jupyterlab-hub-extension (= 4.4.1), node-jupyterlab-imageviewer (= 4.4.1), node-jupyterlab-imageviewer-extension (= 4.4.1), node-jupyterlab-inspector (= 4.4.1), node-jupyterlab-inspector-extension (= 4.4.1), node-jupyterlab-javascript-extension (= 4.4.1), node-jupyterlab-json-extension (= 4.4.1), node-jupyterlab-launcher (= 4.4.1), node-jupyterlab-launcher-extension (= 4.4.1), node-jupyterlab-logconsole (= 4.4.1), node-jupyterlab-logconsole-extension (= 4.4.1), node-jupyterlab-lsp (= 4.4.1), node-jupyterlab-lsp-extension (= 4.4.1), node-jupyterlab-mainmenu (= 4.4.1), node-jupyterlab-mainmenu-extension (= 4.4.1), node-jupyterlab-markdownviewer (= 4.4.1), node-jupyterlab-markdownviewer-extension (= 4.4.1), node-jupyterlab-markedparser-extension (= 4.4.1), node-jupyterlab-mathjax-extension (= 4.4.1), node-jupyterlab-metadataform (= 4.4.1), node-jupyterlab-metadataform-extension (= 4.4.1), node-jupyterlab-metapackage (= 4.4.1), node-jupyterlab-nbconvert-css (= 4.4.1), node-jupyterlab-nbformat (= 4.4.1), node-jupyterlab-notebook (= 4.4.1), node-jupyterlab-notebook-extension (= 4.4.1), node-jupyterlab-observables (= 5.4.1), node-jupyterlab-outputarea (= 4.4.1), node-jupyterlab-pdf-extension (= 4.4.1), node-jupyterlab-pluginmanager (= 4.4.1), node-jupyterlab-pluginmanager-extension (= 4.4.1), node-jupyterlab-property-inspector (= 4.4.1), node-jupyterlab-rendermime (= 4.4.1), node-jupyterlab-rendermime-extension (= 4.4.1), node-jupyterlab-rendermime-interfaces (= 3.12.1), node-jupyterlab-running (= 4.4.1), node-jupyterlab-running-extension (= 4.4.1), node-jupyterlab-services (= 7.4.1), node-jupyterlab-services-extension (= 4.4.1), node-jupyterlab-settingeditor (= 4.4.1), node-jupyterlab-settingeditor-extension (= 4.4.1), node-jupyterlab-settingregistry (= 4.4.1), node-jupyterlab-shortcuts-extension (= 5.2.1), node-jupyterlab-statedb (= 4.4.1), node-jupyterlab-statusbar (= 4.4.1), node-jupyterlab-statusbar-extension (= 4.4.1), node-jupyterlab-template (= 4.4.1), node-jupyterlab-terminal (= 4.4.1), node-jupyterlab-terminal-extension (= 4.4.1), node-jupyterlab-testing (= 4.4.1), node-jupyterlab-theme-dark-extension (= 4.4.1), node-jupyterlab-theme-dark-high-contrast-extension (= 4.4.1), node-jupyterlab-theme-light-extension (= 4.4.1), node-jupyterlab-toc (= 6.4.1), node-jupyterlab-toc-extension (= 6.4.1), node-jupyterlab-tooltip (= 4.4.1), node-jupyterlab-tooltip-extension (= 4.4.1), node-jupyterlab-translation (= 4.4.1), node-jupyterlab-translation-extension (= 4.4.1), node-jupyterlab-ui-components (= 4.4.1), node-jupyterlab-ui-components-extension (= 4.4.1), node-jupyterlab-vega5-extension (= 4.4.1), node-jupyterlab-workspaces (= 4.4.1), node-jupyterlab-workspaces-extension (= 4.4.1), node-mini-svg-data-uri (= 1.4.4), python3-jupyterlab (= 4.4.1+ds1+~3.0.5+~0.16.6+~cs1.4.4-1)
Depends: python3-async-lru, python3-httpx (>= 0.28~), python3-ipykernel, python3-jinja2, python3-jupyter-core, python3-jupyter-server, python3-jupyterlab-server, python3-notebook-shim, python3-packaging, python3-setuptools, python3-tornado, python3-traitlets, python3:any, jest, node-ajv (>= 8), node-babel7, node-call-bind, node-codemirror-autocomplete, node-codemirror-commands, node-codemirror-lang-cpp, node-codemirror-lang-css, node-codemirror-lang-html, node-codemirror-lang-java, node-codemirror-lang-javascript, node-codemirror-lang-json, node-codemirror-lang-markdown, node-codemirror-lang-php, node-codemirror-lang-python, node-codemirror-lang-rust, node-codemirror-lang-sql, node-codemirror-lang-wast, node-codemirror-lang-xml, node-codemirror-language, node-codemirror-legacy-modes, node-codemirror-search, node-codemirror-state, node-codemirror-view, node-commander (>= 14~), node-css-loader, node-deepmerge, node-fortawesome-fontawesome-free, node-fetch, node-fs-extra, node-get-intrinsic, node-glob (>= 10), node-json-schema, node-json5, node-lezer-common, node-lezer-generator, node-lezer-highlight, node-lezer-markdown, node-license-webpack-plugin, node-lodash-packages, node-long, node-lumino, node-marked (>> 18.0.5+~cs7.2.17-2~), node-mathjax-full, node-mini-css-extract-plugin, node-minimist, node-path-browserify, node-playwright-test, node-process, node-react, node-react-dom, node-react-highlight-words, node-react-json-tree, node-react-paginate, node-react-toastify, node-regexp-match-indices, node-rjsf-core, node-rjsf-utils, node-rjsf-validator-ajv8, node-sanitize-html, node-semver, node-simulate-event, node-source-map-loader, node-stdlib-stats, node-style-loader, node-style-mod, node-supports-color, node-terser-webpack-plugin, node-ts-jest, node-typestyle, node-url-parse, node-vega, node-vega-embed, node-vega-lite, node-vega-statistics, node-vscode-debugprotocol, node-vscode-jsonrpc, node-vscode-languageserver-protocol, node-webpack-merge, node-worker-loader, node-ws, node-xterm-addon-canvas, node-xterm-addon-fit, node-xterm-addon-web-links, node-xterm-addon-webgl, node-yjs, node-y-protocols, python3-jupyter-events, python3-rpds-py, webpack, yarnpkg, node-systeminformation (>> 5.31.6~), node-microsoft-fast-foundation, node-microsoft-fast-colors, node-microsoft-fast-element, node-microsoft-fast-web-utilities, node-xterm (>> 5.5.0~), node-package-json, node-sort-package-json
Breaks: node-duplicate-package-checker-webpack-plugin (<< 3.0.0-1), node-jupyterlab (<< 4.0.11+ds1+~cs11.25.27~), python3-jupyterlab (<< 4.0.11+ds1+~cs11.25.27~)
Description: Node.js modules for JupyterLab
Homepage: https://github.com/jupyterlab/jupyterlab
Description-md5: b3e907729cef56f2b536529c32813b8a
Section: javascript
Priority: optional
Filename: pool/main/j/jupyterlab/jupyterlab_4.4.1+ds1+~3.0.5+~0.16.6+~cs1.4.4-1_all.deb
Size: 17251556
MD5sum: cafe135d11ec636a18ad0d9fcff8daee
SHA256: 8fc3bca5338b7cac9abb3d1802d854a0cea143681ce080d60b36c248054c8a75

.
15077,15153d
11473a
Package: golang-github-martinhoefling-goxkcdpwgen-dev
Source: goxkcdpwgen
Version: 0.0~git20231122.e51aa57-4~exp1
Installed-Size: 235
Maintainer: Debian Go Packaging Team <team+pkg-go@tracker.debian.org>
Architecture: all
Replaces: goxkcdpwgen (<< 0.0~git20231122.e51aa57-1)
Depends: golang-github-stretchr-testify-dev
Conflicts: goxkcdpwgen (<< 0.0~git20231122.e51aa57-1)
Description: xkcd style password generator library and cli tool (library)
Multi-Arch: foreign
Homepage: https://github.com/martinhoefling/goxkcdpwgen
Description-md5: d31c05295246419461c4ec26fcc46271
Section: devel
Priority: optional
Filename: pool/main/g/goxkcdpwgen/golang-github-martinhoefling-goxkcdpwgen-dev_0.0~git20231122.e51aa57-4~exp1_all.deb
Size: 59628
MD5sum: 860fa912c4ac8a5325e66488a150d3fc
SHA256: fc2b19b4fa0b90f8275a30df6c343d8037bc149caf6e82d4728c932f09c13b0a

Package: goxkcdpwgen
Version: 0.0~git20231122.e51aa57-4~exp1
Installed-Size: 2265
Maintainer: Debian Go Packaging Team <team+pkg-go@tracker.debian.org>
Architecture: arm64
Description: xkcd style password generator library and cli tool
Homepage: https://github.com/martinhoefling/goxkcdpwgen
Description-md5: d6ff1e001ecf8426f58ab18de0a8756e
Section: devel
Priority: optional
Filename: pool/main/g/goxkcdpwgen/goxkcdpwgen_0.0~git20231122.e51aa57-4~exp1_arm64.deb
Size: 674108
MD5sum: 51efb533fc07a9293924f090ec7fda6a
SHA256: b1c1ac7c7ba1bcd467f009a1dc34fc8994643639a5032af00a6acf4b19d854bb

.
11241a
Package: golang-github-pocketbase-pocketbase-dev
Source: golang-github-pocketbase-pocketbase
Version: 0.39.4+ds-4~exp2
Installed-Size: 4570
Maintainer: Debian Go Packaging Team <team+pkg-go@tracker.debian.org>
Architecture: all
Description: Open Source realtime backend in 1 file (library)
Multi-Arch: foreign
Homepage: https://github.com/pocketbase/pocketbase
Description-md5: 6b264478fa53bbeb5faaba5b80b7b29d
Section: golang
Priority: optional
Filename: pool/main/g/golang-github-pocketbase-pocketbase/golang-github-pocketbase-pocketbase-dev_0.39.4+ds-4~exp2_all.deb
Size: 618332
MD5sum: 774a688398cd0c4c5df0225bd7944770
SHA256: be0964db33282a7a616813f54ece0815f9640363ac948a84636bdfcd47b0c6f1

Package: pocketbase
Source: golang-github-pocketbase-pocketbase
Version: 0.39.4+ds-4~exp2
Installed-Size: 51329
Maintainer: Debian Go Packaging Team <team+pkg-go@tracker.debian.org>
Architecture: arm64
Depends: libc6 (>= 2.34)
Description: Open Source realtime backend in 1 file (program)
Homepage: https://github.com/pocketbase/pocketbase
Description-md5: 51ec5d0c367da47aa5a49a1e97b607f8
Static-Built-Using: golang-1.26 (= 1.26.5-1), golang-fsnotify (= 1.10.1-1), golang-github-asaskevich-govalidator (= 11.0.1-1), golang-github-cznic-mathutil (= 1.7.1-1), golang-github-disintegration-imaging (= 1.6.2-4), golang-github-domodwyer-mailyak (= 3.6.2-3), golang-github-dustin-go-humanize (= 1.0.1-1), golang-github-fatih-color (= 1.19.0-1), golang-github-gabriel-vasile-mimetype (= 1.4.13+dfsg1-1), golang-github-ganigeorgiev-fexpr (= 0.5.0-3), golang-github-go-ozzo-ozzo-validation.v4 (= 4.3.0-2), golang-github-golang-jwt-jwt-v5 (= 5.3.1-1), golang-github-google-uuid (= 1.6.0-1), golang-github-mattn-go-colorable (= 0.1.13-1), golang-github-mattn-go-isatty (= 0.0.20-1), golang-github-pocketbase-dbx (= 1.12.0-2), golang-github-remyoudompheng-bigfft (= 0.0+git20230129.24d4a6f-1), golang-github-spf13-cast (= 1.10.0-2), golang-github-spf13-cobra (= 1.10.2-1), golang-github-spf13-pflag (= 1.0.10-1), golang-go.crypto (= 1:0.53.0-1), golang-golang-x-exp (= 0.0~git20260529.c761662-1), golang-golang-x-image (= 0.42.0-1), golang-golang-x-net (= 1:0.56.0-1), golang-golang-x-oauth2 (= 0.27.0-1), golang-golang-x-sync (= 0.20.0-1), golang-golang-x-sys (= 0.45.0+dfsg-1), golang-golang-x-text (= 0.36.0-1), golang-modernc-libc (= 1.66.10-3), golang-modernc-memory (= 1.11.0+dfsg-4), golang-modernc-sqlite (= 1.40.0+dfsg-1)
Section: golang
Priority: optional
Filename: pool/main/g/golang-github-pocketbase-pocketbase/pocketbase_0.39.4+ds-4~exp2_arm64.deb
Size: 13361380
MD5sum: f732b13b12cd130b4e6b4a15681521da
SHA256: 0444137ec3e1c56486e4d2afcafc325011f2a6e73f1d45a42b44900c407c214a

.
10568,10638d
10157,10515d
6736,6739c
Filename: pool/main/f/flocq/libcoq-flocq_4.2.2-1_arm64.deb
Size: 3464992
MD5sum: f92ce4e8f4fa04129ce5c93b86a05899
SHA256: 91e424fbe5180c51aa5b8964687bc115524879f5c79c1a1e3aea4d442cb1271e
.
6729,6730c
Provides: libcoq-flocq-ntc08
Depends: libcoq-stdlib-t06o5
.
6725,6726c
Version: 4.2.2-1
Installed-Size: 9252
.
6663,6666c
Filename: pool/main/f/findutils/locate_4.11.0-1_arm64.deb
Size: 314696
MD5sum: 65001e6f29b7bb0e10863a7dde6bc06d
SHA256: 80993ac60f8b57498b5856d84475071c5eaa34742119cf465e241ed3793060b5
.
6649,6650c
Version: 4.11.0-1
Installed-Size: 562
.
6642,6645c
Filename: pool/main/f/findutils/findutils_4.11.0-1_arm64.deb
Size: 770852
MD5sum: b3f054ffe986967fa01ac2a4b36d9b0b
SHA256: 3af8dc2da8f0f6bb115198664141d5c396b3096d6733720dacf8bc300ad81cce
.
6629c
Installed-Size: 2444
.
6627c
Version: 4.11.0-1
.
5899,5902c
Filename: pool/main/e/elpi/libelpi-ocaml-dev_3.7.2-1_arm64.deb
Size: 12902344
MD5sum: fbe2dbb6f7e126ca9f2bc601601021b8
SHA256: a70d442e70b039bceba7ea54e1728933aad5ff2c3d618b57d5717ed7f8752bc0
.
5891,5892c
Provides: libelpi-ocaml-dev-apmi5
Depends: libcompiler-libs-ocaml-dev-zwaz3, libelpi-ocaml-apmi5, libmenhir-ocaml-dev-bzns5, libocaml-compiler-libs-ocaml-dev-o8ai4, libppx-deriving-ocaml-dev-wjuv3, libppxlib-ocaml-dev-myf98, libre-ocaml-dev-0qw54, libsexplib0-ocaml-dev-glwc7, libstdlib-ocaml-dev-1ltp0, ocaml-5.4.1, libc6 (>= 2.38)
.
5886,5888c
Source: elpi
Version: 3.7.2-1
Installed-Size: 62712
.
5880,5883c
Filename: pool/main/e/elpi/libelpi-ocaml_3.7.2-1_arm64.deb
Size: 3479912
MD5sum: c01f4a91d08b962ce98e159960b19ff9
SHA256: 593b056d88605cdd49444c6c27d3ee220a3e992d13d14f2ee67930fa2acdc5c2
.
5872,5873c
Provides: libelpi-ocaml-apmi5
Depends: libppx-deriving-ocaml-wjuv3, libsexplib0-ocaml-glwc7, libstdlib-ocaml-1ltp0, ocaml-base-5.4.1
.
5867,5869c
Source: elpi
Version: 3.7.2-1
Installed-Size: 14854
.
5861,5864c
Filename: pool/main/e/elpi/elpi_3.7.2-1_arm64.deb
Size: 2168724
MD5sum: f6733ebd861e3638976b63fa97615489
SHA256: c864e69bcf19d0e4c4b163121511116b20e9f19dab0900897d2f2b5ad164842a
.
5855c
Depends: libelpi-ocaml (= 3.7.2-1), libc6 (>= 2.42)
.
5850,5852c
Version: 3.7.2-1
Installed-Size: 10726
.
5234,5502d
4838,4841c
Filename: pool/main/d/dh-golang/dh-golang_1.66~exp2_all.deb
Size: 24360
MD5sum: 90b949f34b0895d7b6225c91674c61e7
SHA256: 384d0391b62e48047e124f6895712d19af1537ebe6f5da434cba3632d2d74d77
.
4827c
Version: 1.66~exp2
.
3732,3735c
Filename: pool/main/c/courier/sqwebmail_7.0.2+2.0.2-4_arm64.deb
Size: 675760
MD5sum: 6a961f90c8da0e0e9db3bc59f5867220
SHA256: 193a2f70e986f8c9cb869e81ac5680ecc2d231dd4981706764dfd66c7ac02d1c
.
3723c
Depends: apache2, courier-base (= 2.0.2-4), debconf, default-mta | mail-transport-agent, expect, iamerican | ispell-dictionary, ispell, maildrop, debconf (>= 0.5) | debconf-2.0, systemd | systemd-standalone-tmpfiles | systemd-tmpfiles, libc6 (>= 2.38), libcourier-authlib0 (>= 0.72.7.20260502), libcourier-unicode12 (>= 2.6.0), libgcc-s1 (>= 3.0), libgdbm6t64 (>= 1.16), libidn2-0 (>= 2.0.0), libldap2 (>= 2.6.2), libpcre2-8-0 (>= 10.22), libstdc++6 (>= 13.1), perl:any
.
3718,3719c
Source: courier (2.0.2-4)
Version: 7.0.2+2.0.2-4
.
3712,3715c
Filename: pool/main/c/courier/courier-webadmin_2.0.2-4_arm64.deb
Size: 112992
MD5sum: 68d4585de99f205fcce5f8b2fe411d2d
SHA256: 8a4914e60d6e796a3626219b8d959dabdbe2103041cc7acb4753f1f338668665
.
3703c
Depends: apache2 | httpd, courier-base (= 2.0.2-4), debconf, libcgi-pm-perl, debconf (>= 0.5) | debconf-2.0, systemd | systemd-standalone-tmpfiles | systemd-tmpfiles, libc6 (>= 2.34), perl:any
.
3699c
Version: 2.0.2-4
.
3692,3695c
Filename: pool/main/c/courier/courier-pop_2.0.2-4_arm64.deb
Size: 175356
MD5sum: 684d41bb9dc8985b846bfd1cfa7419e2
SHA256: 8a3e5c3ef6d0f550b9c7920c74df880a32f3b79bd0d8976d9fbf85d4d68e6e39
.
3681c
Depends: courier-base (= 2.0.2-4), debconf, default-mta | mail-transport-agent, systemd | systemd-standalone-tmpfiles | systemd-tmpfiles, libc6 (>= 2.38), libcourier-authlib0 (>= 0.72.7.20260502), libcourier-unicode12 (>= 2.6.0), libgcc-s1 (>= 3.0), libidn2-0 (>= 2.0.0), libstdc++6 (>= 12)
.
3675c
Version: 2.0.2-4
.
3668,3671c
Filename: pool/main/c/courier/courier-pcp_2.0.2-4_arm64.deb
Size: 169584
MD5sum: 7e28f467076e1bfb21db3dc8b1392222
SHA256: 79f2d078890c4bd5f8649068e351225c94fff6e92ed5fae589fbb85f398fdd03
.
3655c
Version: 2.0.2-4
.
3648,3651c
Filename: pool/main/c/courier/courier-mta_2.0.2-4_arm64.deb
Size: 735668
MD5sum: 37d09e7afce6c3b422e56f884eba3c78
SHA256: ddcbc02e8b0f4384e35789fe7c1a58cd4194dcf8eec2697b4466123fa409aea3
.
3637c
Depends: courier-base (= 2.0.2-4), debconf, libnet-cidr-perl, wget, debconf (>= 0.5) | debconf-2.0, systemd | systemd-standalone-tmpfiles | systemd-tmpfiles, libc6 (>= 2.38), libcourier-authlib0 (>= 0.72.7.20260502), libcourier-unicode12 (>= 2.6.0), libgcc-s1 (>= 3.0), libgdbm6t64 (>= 1.16), libidn2-0 (>= 2.0.0), libperl5.40 (>= 5.40.0), libstdc++6 (>= 13.1), perl:any
.
3631c
Version: 2.0.2-4
.
3624,3627c
Filename: pool/main/c/courier/courier-mlm_2.0.2-4_arm64.deb
Size: 415724
MD5sum: d759283551c2e671fdf6ae41c6212e9a
SHA256: b62c1f18c3264b4460ce0ab1ab5bdefe9ac82641c037721d020a38cc4ed67564
.
3615c
Depends: courier-base (= 2.0.2-4), maildrop, libc6 (>= 2.38), libcourier-unicode12 (>= 2.6.0), libgcc-s1 (>= 3.0), libgdbm6t64 (>= 1.16), libidn2-0 (>= 2.0.0), libstdc++6 (>= 13.1)
.
3611c
Version: 2.0.2-4
.
3604,3607c
Filename: pool/main/c/courier/courier-ldap_2.0.2-4_arm64.deb
Size: 105264
MD5sum: 689c6d6ddca3b4bfcd02f6701591f15b
SHA256: bb8ad5ce75b0285eaec21b8286e43461a2b3077c8fa7c233d4d8a786e0d0f405
.
3594c
Depends: courier-base (= 2.0.2-4), debconf, systemd | systemd-standalone-tmpfiles | systemd-tmpfiles, libc6 (>= 2.38), libcourier-authlib0 (>= 0.72.7.20260502), libgcc-s1 (>= 3.0), libldap2 (>= 2.6.2), libstdc++6 (>= 4.1.1)
.
3589c
Version: 2.0.2-4
.
3582,3585c
Filename: pool/main/c/courier/courier-imap_6.0.1+2.0.2-4_arm64.deb
Size: 386820
MD5sum: 1e210d77605895cbd74de877042e8213
SHA256: 1bb83e88c058255a4b2eccd0dbcc717604f14377769ffde34d251bdcb50d099e
.
3571c
Depends: courier-base (= 2.0.2-4), debconf, default-mta | mail-transport-agent, systemd | systemd-standalone-tmpfiles | systemd-tmpfiles, libc6 (>= 2.38), libcourier-authlib0 (>= 0.72.7.20260502), libcourier-unicode12 (>= 2.6.0), libgcc-s1 (>= 3.0), libgdbm6t64 (>= 1.16), libidn2-0 (>= 2.0.0), libstdc++6 (>= 14)
.
3564,3565c
Source: courier (2.0.2-4)
Version: 6.0.1+2.0.2-4
.
3558,3561c
Filename: pool/main/c/courier/courier-faxmail_2.0.2-4_arm64.deb
Size: 100552
MD5sum: bda6ee95ad29c063ea3de53c299643a6
SHA256: 664a93325002dcaf245bb7c49722e5d0eb2de8c07eff16a9742207d2df68e2da
.
3548c
Depends: courier-mta (= 2.0.2-4), ghostscript, groff, mgetty-fax, systemd | systemd-standalone-tmpfiles | systemd-tmpfiles
.
3544c
Version: 2.0.2-4
.
3537,3540c
Filename: pool/main/c/courier/courier-doc_2.0.2-4_all.deb
Size: 378280
MD5sum: 171bd118b02f6f30b1110b779150d428
SHA256: 2adeb68c141472bef3657f5f2f41e9a94758c6a30f9d27cd546bba5561154cb7
.
3525c
Version: 2.0.2-4
.
3518,3521c
Filename: pool/main/c/courier/courier-base_2.0.2-4_arm64.deb
Size: 333160
MD5sum: b8951e4717a5c5dd5e011afab76c38cf
SHA256: e719fa6b28bd2b7196001e059ba7d5022c93781bfbd1400658d8272573b156c3
.
3505c
Version: 2.0.2-4
.
3372,3375c
Filename: pool/main/c/coqprime/libcoq-coqprime_8.20.1-4_arm64.deb
Size: 1770108
MD5sum: 6fb2f6519cb64715445605f4cca42bd0
SHA256: 29bd3fa506cc9c0d1368caf562a6f6edc52ffedaa32b43cff11a48b31519a249
.
3365,3366c
Provides: libcoq-coqprime-akt16
Depends: libcoq-bignums-0fa37, libcoq-stdlib-t06o5
.
3361,3362c
Version: 8.20.1-4
Installed-Size: 5606
.
3354,3357c
Filename: pool/main/c/coqprime/coqprime-tools_8.20.1-4_arm64.deb
Size: 143844
MD5sum: 39627d38cb0ebc2f54c0798f69e1bb47
SHA256: e12d877a7e2951855d8e89fe1c92eb6010527cb596805fdfac4518583447a566
.
3348c
Depends: libcoq-coqprime (= 8.20.1-4), ocaml-base-nox | ocaml-base, libc6 (>= 2.38), libecm1 (>= 7.0.6+ds), libgmp10 (>= 2:6.3.0+dfsg)
.
3344c
Version: 8.20.1-4
.
3319,3322c
Filename: pool/main/c/coq-unimath/libcoq-unimath_20260603-1_arm64.deb
Size: 58601744
MD5sum: 5530927ad5f230c5c70bba3a291a8c94
SHA256: ed255663ae4c017cc14aef5b52ce2b7e5368e02f6a11e713734b55351317e338
.
3312,3313c
Provides: libcoq-unimath-8b060
Depends: libcoq-stdlib-xe8m5
.
3308,3309c
Version: 20260603-1
Installed-Size: 253164
.
3301,3304c
Filename: pool/main/c/coq-unicoq/libcoq-unicoq_1.6-9.1-1_arm64.deb
Size: 89132
MD5sum: 9fed45608d1e631f8a6428da192e9281
SHA256: 730369f7a44094d45b1d8687587efbcc41ebfc30b0f87fad2a8cb8232625c28e
.
3294,3295c
Provides: libcoq-unicoq-74qy1
Depends: libcoq-stdlib-xe8m5
.
3290c
Version: 1.6-9.1-1
.
3283,3286c
Filename: pool/main/c/coq-stdpp/libcoq-stdpp_1.13.0-1_arm64.deb
Size: 5281768
MD5sum: ac836d6d9079b4f5a11aec48c679cd04
SHA256: d07be03c3b5b90d202c33cab22d6f3766b822129ba52183b494f9bbda1244a9b
.
3276,3277c
Provides: libcoq-stdpp-hto33
Depends: libcoq-stdlib-t06o5
.
3271,3273c
Source: coq-stdpp
Version: 1.13.0-1
Installed-Size: 16768
.
3265,3268c
Filename: pool/main/c/coq-simple-io/libcoq-simple-io_1.11.0-4_arm64.deb
Size: 228928
MD5sum: c032900165d071930afa9dab3c0a54a4
SHA256: 933d72b37b633da14c79c6eb8ea3b5f4fed7cd634293bc9f24a45f8e2e6bdcc0
.
3258,3259c
Provides: libcoq-simple-io-hacu0
Depends: libcoq-ext-lib-idie6, libcoq-stdlib-t06o5
.
3254,3255c
Version: 1.11.0-4
Installed-Size: 1299
.
3211,3214c
Filename: pool/main/c/coq-reduction-effects/libcoq-reduction-effects_0.1.6-3_arm64.deb
Size: 16032
MD5sum: 68b4239dbbd47f0974307bec6b6389b0
SHA256: bf8399925a78ffcc8b413f980f365a495392a9615a045d6ef0d5af3873f314a5
.
3204,3205c
Provides: libcoq-reduction-effects-c3j17
Depends: libcoq-stdlib-xe8m5
.
3200c
Version: 0.1.6-3
.
3193,3196c
Filename: pool/main/c/coq-record-update/libcoq-record-update_0.3.7-1_arm64.deb
Size: 19144
MD5sum: 6ad69a9cf05c3fb3c5c0577859ce174f
SHA256: 84b3b8a4af0e2c048d6e2f5a34553d71eb8dd5ebcaa140c4f4ad8b57f9e98ba6
.
3186,3187c
Provides: libcoq-record-update-pwr62
Depends: libcoq-stdlib-t06o5
.
3182,3183c
Version: 0.3.7-1
Installed-Size: 69
.
3122,3125c
Filename: pool/main/c/coq-menhirlib/libcoq-menhirlib_20260209+ds-1_arm64.deb
Size: 915496
MD5sum: 95076538f9d359dc14360d954b57c09d
SHA256: f877fed18b23c33ef609b5fff547c8f129aa0d8c579b7f5f41f3d9a506da0ba4
.
3115,3116c
Provides: libcoq-menhirlib-ynwc4
Depends: libcoq-stdlib-t06o5
.
3111,3112c
Version: 20260209+ds-1
Installed-Size: 2700
.
3104,3107c
Filename: pool/main/c/coq-math-classes/libcoq-math-classes_9.0.0-3_arm64.deb
Size: 2872888
MD5sum: 554c06e8b292e9b20fb6f369f2a02523
SHA256: 2c6f594e32e55a9315394f06b35c3b6e9cef2655231cd816c3607346a1e6044c
.
3097,3098c
Provides: libcoq-math-classes-byrw6
Depends: libcoq-bignums-0fa37, libcoq-stdlib-t06o5
.
3093,3094c
Version: 9.0.0-3
Installed-Size: 9797
.
3086,3089c
Filename: pool/main/c/coq-libhyps/libcoq-libhyps_5.0.0-1_arm64.deb
Size: 79288
MD5sum: a454627c69db04bb7d0496d048b7496b
SHA256: 885d1667123f6c35aaaca8540819786c8450fe27e77b84db74488a04cbc47eaf
.
3079,3080c
Provides: libcoq-libhyps-edzq5
Depends: libcoq-stdlib-t06o5
.
3075,3076c
Version: 5.0.0-1
Installed-Size: 377
.
3068,3071c
Filename: pool/main/c/coq-iris/libcoq-iris_4.5.0-1_arm64.deb
Size: 13238776
MD5sum: 5ceb152da9356d1426a5270ac6ffbc9b
SHA256: f71d24b381b1fffde0c5013235b0e681c73ff0f7f1a0fb2b075e413dc15ea9f0
.
3061,3062c
Provides: libcoq-iris-yrqt4
Depends: libcoq-stdpp-hto33
.
3057,3058c
Version: 4.5.0-1
Installed-Size: 38873
.
3032,3035c
Filename: pool/main/c/coq-hott/libcoq-hott_9.1-1_arm64.deb
Size: 15127036
MD5sum: 3f5bb5de84da68e38ede81883d15d9fc
SHA256: 2d2b7885c9c855749f77964dbd5b2dadf1fa494eeb8a26e0082d2544026ca9fd
.
3025,3026c
Provides: libcoq-hott-r5qy9
Depends: libcoq-stdlib-xe8m5
.
3021,3022c
Version: 9.1-1
Installed-Size: 60225
.
3014,3017c
Filename: pool/main/c/coq-hierarchy-builder/libcoq-hierarchy-builder_1.10.3-1_arm64.deb
Size: 802464
MD5sum: 9ded3620a1105146b0df4d59fe4823fc
SHA256: 0986f9c8959e0f652d97186e21d7656449087c14c12b071ddd5d6fa5965fa978
.
3006,3007c
Provides: libcoq-hierarchy-builder-u5761
Depends: libcoq-elpi-bkuw5
.
3001,3003c
Source: coq-hierarchy-builder
Version: 1.10.3-1
Installed-Size: 2321
.
2995,2998c
Filename: pool/main/c/coq-hammer/libcoq-hammer_1.3.3+9.2-1_arm64.deb
Size: 538956
MD5sum: c75d7e682cc87e511c6f095e2de94372
SHA256: 87e62c22fc33c938284c54ac742614df0eeb450f9d799e501341a9f5a299fec3
.
2988,2989c
Provides: libcoq-hammer-hid19
Depends: libcoq-stdlib-t06o5, libc6 (>= 2.38), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1)
.
2984,2985c
Version: 1.3.3+9.2-1
Installed-Size: 2752
.
2977,2980c
Filename: pool/main/c/coq-gappa/libcoq-gappa_1.10.0-1_arm64.deb
Size: 610616
MD5sum: 7b7f282bcfef9c40c9865e0f4171c64a
SHA256: 3f50685aa483bcc8224ab440a588c514034fb6fe8758c89a6b267ede7d84cede
.
2970,2971c
Provides: libcoq-gappa-q9w09
Depends: gappa, libcoq-flocq-ntc08, libcoq-stdlib-t06o5
.
2966,2967c
Version: 1.10.0-1
Installed-Size: 1530
.
2941,2944c
Filename: pool/main/c/coq-ext-lib/libcoq-ext-lib_0.13.1-1_arm64.deb
Size: 772140
MD5sum: 9f2189e38b99848a1eb9d85ebc18c4f7
SHA256: 0b09c54cc82afe8be01b65797a7b554e8764d17eacfe43745603b87055dabdd1
.
2934,2935c
Provides: libcoq-ext-lib-idie6
Depends: libcoq-stdlib-t06o5
.
2930,2931c
Version: 0.13.1-1
Installed-Size: 2793
.
2923,2926c
Filename: pool/main/c/coq-elpi/libcoq-elpi_3.4.0-1_arm64.deb
Size: 13495248
MD5sum: 8ce32653ea4e0295e21dcf021d6e509d
SHA256: 6d43f337a0b46c6c2f64421f3d7604179436249109c9e901b01e0f89f512a996
.
2916,2917c
Provides: libcoq-elpi-bkuw5
Depends: libelpi-ocaml-dev, libcoq-stdlib-t06o5, libcoq-core-ocaml-ob8s8, libelpi-ocaml-apmi5, libppx-deriving-ocaml-wjuv3, libstdlib-ocaml-1ltp0, libzarith-ocaml-igxp5, libc6 (>= 2.42)
.
2911,2913c
Source: coq-elpi
Version: 3.4.0-1
Installed-Size: 80931
.
2909a
Package: coq-dpdgraph-tools
Source: coq-dpdgraph
Version: 1.0+9.1-1
Installed-Size: 4544
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: arm64
Depends: libc6 (>= 2.38)
Suggests: graphviz
Description: Coq plugin to extract dependencies between Coq objects (tools)
Homepage: https://github.com/coq-community/coq-dpdgraph
Description-md5: a4c4863a12a026bf8f65552276ec79d6
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-dpdgraph/coq-dpdgraph-tools_1.0+9.1-1_arm64.deb
Size: 722664
MD5sum: b97e50c871608fb1e6c278a0eff2b156
SHA256: a747f72d119883cf2039d5040cab9570b14784c0af3294b3bb1df635f158333a

Package: libcoq-dpdgraph
Source: coq-dpdgraph
Version: 1.0+9.1-1
Installed-Size: 194
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: arm64
Provides: libcoq-dpdgraph-hait5
Depends: libcoq-stdlib-t06o5
Description: Coq plugin to extract dependencies between Coq objects
Homepage: https://github.com/coq-community/coq-dpdgraph
Description-md5: 273eb3484d0176915de67cd31b22aa16
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-dpdgraph/libcoq-dpdgraph_1.0+9.1-1_arm64.deb
Size: 36888
MD5sum: 68320cda528daf4104dcfb42d8cd7605
SHA256: 56967b12a6e3f83f2f633fd1c7f04c710a1b3e72896a23367bd672054fcef6c2

.
2869,2872c
Filename: pool/main/c/coq-bignums/libcoq-bignums_9.0.0+rocq9.2-1_arm64.deb
Size: 1899904
MD5sum: 3f045f20b56da869b02bdda6c6086bbc
SHA256: a125f8e64ce5fb6d61af74b9736717f63638a67e973205501d3d62d42a50af41
.
2862,2863c
Provides: libcoq-bignums-0fa37
Depends: libcoq-stdlib-t06o5
.
2858,2859c
Version: 9.0.0+rocq9.2-1
Installed-Size: 6622
.
2851,2854c
Filename: pool/main/c/coq/rocqide_9.2.0+dfsg-1_arm64.deb
Size: 2256132
MD5sum: 103e22c4c21e48d80d838e326c5cd9aa
SHA256: 2909c9a20d3d6cc761ad18e4ab60d96f022b9c722078b240c911ab8b34b75b9d
.
2844c
Depends: coq (= 9.2.0+dfsg-1), libc6 (>= 2.42), libcairo2 (>= 1.12.0), libfontconfig1 (>= 2.12.6), libfreetype6 (>= 2.2.1), libgdk-pixbuf-2.0-0 (>= 2.22.0), libglib2.0-0t64 (>= 2.36.0), libgtk-3-0t64 (>= 3.11.5), libgtksourceview-3.0-1 (>= 2.91.4), libpango-1.0-0 (>= 1.14.0)
.
2838,2840c
Source: coq
Version: 9.2.0+dfsg-1
Installed-Size: 10683
.
2832,2835c
Filename: pool/main/c/coq/libcoq-core-ocaml-dev_9.2.0+dfsg-1_arm64.deb
Size: 55853092
MD5sum: 7ca9d75aa855d17d85cf1828907b5b0c
SHA256: eafc7abb21b643ad1371270ff83dbedbc699c943dda44203923fde0954c00834
.
2825,2826c
Provides: libcoq-core-ocaml-dev-ob8s8
Depends: libcompiler-libs-ocaml-dev-zwaz3, libcoq-core-ocaml-ob8s8, libfindlib-ocaml-dev-z5c11, libstdlib-ocaml-dev-1ltp0, libzarith-ocaml-dev-igxp5, ocaml-5.4.1
.
2820,2822c
Source: coq
Version: 9.2.0+dfsg-1
Installed-Size: 246334
.
2814,2817c
Filename: pool/main/c/coq/libcoq-core-ocaml_9.2.0+dfsg-1_arm64.deb
Size: 26194844
MD5sum: b6ace6bbe15da44ba5816f417f70ff66
SHA256: 43fc8d35d758c5a280f9ac9bcda77fd9838dc45458d730e667eb8e54b62ca6ec
.
2806c
Provides: libcoq-core-ocaml-ob8s8
.
2801,2803c
Source: coq
Version: 9.2.0+dfsg-1
Installed-Size: 100618
.
2795,2798c
Filename: pool/main/c/coq/libcoq-core_9.2.0+dfsg-1_arm64.deb
Size: 1152460
MD5sum: 00566c2cf01d97877f907ca5e4e3f803
SHA256: 1f8a0713ce1475dc3dc1751f20fb4742e50e65784a4c85ad8441108dbcd64f08
.
2787c
Provides: libcoq-core-425w6
.
2781,2783c
Source: coq
Version: 9.2.0+dfsg-1
Installed-Size: 5685
.
2775,2778c
Filename: pool/main/c/coq/coq_9.2.0+dfsg-1_arm64.deb
Size: 44469296
MD5sum: c92a0750b670b0aaff88379e3a496155
SHA256: 2952d0a4778cf234a6fd620adb5033fa6d19d6e3c4b9eae9dfb0ae4fe990781d
.
2764,2765c
Provides: coq-9.2+5.4.1
Depends: libcoq-core (= 9.2.0+dfsg-1), libcoq-core-ocaml-ob8s8, libfindlib-ocaml-z5c11, libstdlib-ocaml-1ltp0, libzarith-ocaml-igxp5, ocaml-base-5.4.1, libc6 (>= 2.42), libgmp10 (>= 2:6.3.0+dfsg), ocaml, ocaml-findlib, python3
.
2759,2761c
Version: 9.2.0+dfsg-1
Installed-Size: 184072
.
2543a
Package: cmake
Version: 4.4.0-1
Installed-Size: 54041
Maintainer: Debian CMake Team <pkg-cmake-team@lists.alioth.debian.org>
Architecture: arm64
Replaces: cmake-data (<< 4.3)
Provides: cmake-data (= 4.4.0-1)
Depends: procps, libarchive13t64 (>= 3.8.2), libc6 (>= 2.38), libcurl4t64 (>= 7.16.2), libexpat1 (>= 2.0.1), libgcc-s1 (>= 3.0), libjsoncpp26 (>= 1.9.6), librhash1 (>= 1.4.5), libstdc++6 (>= 14), libuv1t64 (>= 1.38.0), zlib1g (>= 1:1.1.4)
Recommends: gcc, make
Suggests: cmake-doc, cmake-format, elpa-cmake-mode, ninja-build
Breaks: cmake-data (<< 4.3)
Description: cross-platform, open-source make system
Multi-Arch: foreign
Homepage: https://cmake.org/
Description-md5: b60d0479b91d22665e465b5cec287c83
Tag: devel::buildtools, implemented-in::c++, interface::commandline,
 interface::text-mode, role::program, scope::utility,
 uitoolkit::ncurses, works-with::software:source
Section: devel
Priority: optional
Filename: pool/main/c/cmake/cmake_4.4.0-1_arm64.deb
Size: 14123188
MD5sum: 314bd97dbef31d283b37a4c40dd90baf
SHA256: f31c18a9001b3fc6b138e33f3596f81ecabf567c6ec98635e679774139e92cf5

Package: cmake-curses-gui
Source: cmake
Version: 4.4.0-1
Installed-Size: 12468
Maintainer: Debian CMake Team <pkg-cmake-team@lists.alioth.debian.org>
Architecture: arm64
Depends: cmake (= 4.4.0-1), libarchive13t64 (>= 3.8.2), libc6 (>= 2.38), libcurl4t64 (>= 7.16.2), libexpat1 (>= 2.0.1), libgcc-s1 (>= 3.0), libjsoncpp26 (>= 1.9.6), libncurses6 (>= 6), librhash1 (>= 1.4.5), libstdc++6 (>= 14), libtinfo6 (>= 6), libuv1t64 (>= 1.38.0), zlib1g (>= 1:1.1.4)
Description: curses based user interface for CMake (ccmake)
Homepage: https://cmake.org/
Description-md5: ad28c67dee764cb32d73040783a280db
Tag: devel::buildtools, implemented-in::c++, interface::commandline,
 interface::text-mode, role::program, scope::utility, uitoolkit::ncurses
Section: devel
Priority: optional
Filename: pool/main/c/cmake/cmake-curses-gui_4.4.0-1_arm64.deb
Size: 3560768
MD5sum: 4d5d8a6763c36b8e44568eddd78f21be
SHA256: 6618c2cc00023e2964870cb07c78498a293979cf8291cb525818cae62b1b4ced

Package: cmake-data
Source: cmake
Version: 4.4.0-1
Installed-Size: 39
Maintainer: Debian CMake Team <pkg-cmake-team@lists.alioth.debian.org>
Architecture: all
Description: CMake data files (transitional dummy package)
Multi-Arch: foreign
Homepage: https://cmake.org/
Description-md5: 53fb996c076f33427135517db5bb02af
Tag: devel::buildtools, made-of::html, made-of::man, role::app-data,
 role::documentation, role::program
Section: devel
Priority: optional
Filename: pool/main/c/cmake/cmake-data_4.4.0-1_all.deb
Size: 13352
MD5sum: 0082fc9b5f2d3966c869286ef0b0f978
SHA256: 7df3e007aa1a75d4f4e82456815abeef3e1afc03cc66781d07cf5c3ea3f54202

Package: cmake-doc
Source: cmake
Version: 4.4.0-1
Installed-Size: 40358
Maintainer: Debian CMake Team <pkg-cmake-team@lists.alioth.debian.org>
Architecture: all
Depends: libjs-sphinxdoc (>= 9.0)
Recommends: doc-base
Suggests: cmake
Description: extended documentation in various formats for CMake
Multi-Arch: foreign
Homepage: https://cmake.org/
Description-md5: fcefa4d7014fa7859c301236f87695fe
Tag: devel::doc, made-of::html, role::documentation
Section: doc
Priority: optional
Filename: pool/main/c/cmake/cmake-doc_4.4.0-1_all.deb
Size: 2934576
MD5sum: dfb87814038974608069f63fefcc04f0
SHA256: 5bd9db9f4076216cfdb7d0b26f376ba0b78ea2316df2c95d29dbf231ee9476cd

Package: cmake-qt-gui
Source: cmake
Version: 4.4.0-1
Installed-Size: 13006
Maintainer: Debian CMake Team <pkg-cmake-team@lists.alioth.debian.org>
Architecture: arm64
Provides: cmake-gui
Depends: cmake (= 4.4.0-1), libarchive13t64 (>= 3.8.2), libc6 (>= 2.38), libcurl4t64 (>= 7.16.2), libexpat1 (>= 2.0.1), libgcc-s1 (>= 3.0), libjsoncpp26 (>= 1.9.6), libqt6core6t64 (>= 6.10.2), libqt6gui6 (>= 6.1.2), libqt6widgets6 (>= 6.3.0), librhash1 (>= 1.4.5), libstdc++6 (>= 14), libuv1t64 (>= 1.38.0), zlib1g (>= 1:1.1.4)
Description: Qt based user interface for CMake (cmake-gui)
Homepage: https://cmake.org/
Description-md5: 1385c1223e89dd992bad5dcde2206383
Tag: devel::buildtools, implemented-in::c++, interface::commandline,
 interface::graphical, interface::x11, role::program, scope::utility,
 uitoolkit::qt, works-with::software:source, x11::application
Section: devel
Priority: optional
Filename: pool/main/c/cmake/cmake-qt-gui_4.4.0-1_arm64.deb
Size: 3687564
MD5sum: 6144b2542df1fc840a0c482187502a9e
SHA256: b43b34c80fbf5f5934e4b432b71c308ada90ede58c89888a5f8cdb6dd82f895b

.
