48706,48722d
48487,48503d
40291,40294c
Filename: pool/main/r/rocq-stdlib/libcoq-stdlib_9.1.0-1_amd64.deb
Size: 20075712
MD5sum: a8a175500c4ecda2c7d06ac4089273bf
SHA256: 5f3ccfd4cbd1c8732d50e89d8e723ab2d286a2ea98b172cd4c06478f937d648c
.
40284c
Provides: libcoq-stdlib-py9l3
.
40279,40281c
Source: rocq-stdlib
Version: 9.1.0-1
Installed-Size: 70705
.
39414,39417c
Filename: pool/main/r/rccl/librccl1-tests_7.2.4-1~exp2_amd64.deb
Size: 401856
MD5sum: cbc1df23a4e52db69b4a3f9426a8f3f8
SHA256: 566de3c275b6b54252172ef78b21e184422db73d6c8a515c19b301dcb335765e
.
39407c
Depends: librccl1 (= 7.2.4-1~exp2), libamdhip64-7 (>= 7.2.0~), libc6 (>= 2.38), libgcc-s1 (>= 12), libhsa-runtime64-1 (>= 7.2.0~), libstdc++6 (>= 14)
.
39403c
Version: 7.2.4-1~exp2
.
39396,39399c
Filename: pool/main/r/rccl/librccl1_7.2.4-1~exp2_amd64.deb
Size: 369264020
MD5sum: e9097cacda6430c2382ac7f82f4819c5
SHA256: 9db7a7c6558db783da391993db859865443d7649f55d814c8efd13091c7b01bd
.
39385,39386c
Version: 7.2.4-1~exp2
Installed-Size: 370076
.
39360,39381c
Filename: pool/main/r/rccl/librccl-dev_7.2.4-1~exp2_amd64.deb
Size: 26260
MD5sum: 88ecdad235f67112a20d92f421f6105c
SHA256: 3b5ef3d7d2356baaf510b575801269f1d661969078d8ef109031c9defe02149b
.
39353c
Depends: librccl1 (= 7.2.4-1~exp2), libamdhip64-dev
.
39349c
Version: 7.2.4-1~exp2
.
38099,38102c
Filename: pool/main/p/protobuf/ruby-google-protobuf_36.0~rc1-1_amd64.deb
Size: 172696
MD5sum: 1e64d1a53c8e0bfdbbabb65e9a9a7690
SHA256: a898609359b880e7c3b5a48785e7de092347cdcd8fab8f7204d9e241118f01be
.
38086,38087c
Version: 36.0~rc1-1
Installed-Size: 592
.
38079,38082c
Filename: pool/main/p/protobuf/python3-protobuf_36.0~rc1-1_amd64.deb
Size: 119816
MD5sum: 4d0d7b04bbb408d0e3183191a3bee56e
SHA256: dbd5fd64bc8488ba6c24e2d662831b5336edd10f652e95d8bbcfe7527e45e5f2
.
38069,38070c
Version: 36.0~rc1-1
Installed-Size: 993
.
38062,38065c
Filename: pool/main/p/protobuf/protobuf-compiler_36.0~rc1-1_amd64.deb
Size: 304908
MD5sum: 19411e431cb66c689cf50c20552f5107
SHA256: 6816cc27debf2b2c3917a693504d40fcddf8bdb0310e14b2a906a202246c6ae0
.
38052c
Depends: libabsl20260107 (>= 20260107.0-0~), libc6 (>= 2.38), libgcc-s1 (>= 3.4), libprotobuf36 (>= 36.0~rc1), libprotoc36 (= 36.0~rc1-1), libstdc++6 (>= 13.1), libutf8-range0 (>= 0.0.0~git260619)
.
38048,38049c
Version: 36.0~rc1-1
Installed-Size: 1483
.
38045a
Package: php-google-protobuf
Source: protobuf
Version: 36.0~rc1-1
Installed-Size: 855
Maintainer: Laszlo Boszormenyi (GCS) <gcs@debian.org>
Architecture: all
Description: PHP bindings for protocol buffers
Multi-Arch: foreign
Homepage: https://github.com/protocolbuffers/protobuf
Description-md5: 661707b1fcfb4cb6e4edda3de9cfd5a1
Section: php
Priority: optional
Filename: pool/main/p/protobuf/php-google-protobuf_36.0~rc1-1_all.deb
Size: 81000
MD5sum: 862b29fd69fca5de432abce721a6fbb1
SHA256: 479fe6dcb52c67129adc6bbf9296bf77eb87b3e29688ec0e1dc9bf79162fcbe4

.
38011a
Package: libprotoc36
Source: protobuf
Version: 36.0~rc1-1
Installed-Size: 6017
Maintainer: Laszlo Boszormenyi (GCS) <gcs@debian.org>
Architecture: amd64
Depends: libabsl20260107 (>= 20260107.0-0~), libc6 (>= 2.38), libgcc-s1 (>= 3.4), libprotobuf36 (>= 36.0~rc1), libstdc++6 (>= 14), libutf8-validity0 (>= 0.0.0~git240418)
Description: protocol buffers compiler library
Multi-Arch: same
Homepage: https://github.com/protocolbuffers/protobuf
Description-md5: c53c70dca7ff74e285f88be70de72a0f
Section: libs
Priority: optional
Filename: pool/main/p/protobuf/libprotoc36_36.0~rc1-1_amd64.deb
Size: 1599764
MD5sum: 28f824636ce018bc957256bd8940461d
SHA256: 771387b24118b1d2ba80a09c8591aad607cedde7e9326dee0808d2caa9ea2ca8

.
37971,37974c
Filename: pool/main/p/protobuf/libprotoc-dev_36.0~rc1-1_amd64.deb
Size: 2333796
MD5sum: 726dd15749e2e636477d5913e3a4df6c
SHA256: 9242bfa8667afae7b423f2b0dcfc5c5111ca3d80a08f1909dda9cc3716b80195
.
37961c
Depends: libprotoc36 (= 36.0~rc1-1), libprotobuf-dev (= 36.0~rc1-1)
.
37956,37957c
Version: 36.0~rc1-1
Installed-Size: 22157
.
37953a
Package: libprotobuf36
Source: protobuf
Version: 36.0~rc1-1
Installed-Size: 4895
Maintainer: Laszlo Boszormenyi (GCS) <gcs@debian.org>
Architecture: amd64
Depends: libabsl20260107 (>= 20260107.0-0~), libc6 (>= 2.38), libgcc-s1 (>= 3.4), libstdc++6 (>= 13.1), libutf8-validity0 (>= 0.0.0~git240418), zlib1g (>= 1:1.1.4)
Breaks: cura-engine (<< 1:3.3.0-2.1+b1), libarcus3 (<< 3.3.0-2)
Description: protocol buffers C++ library
Multi-Arch: same
Homepage: https://github.com/protocolbuffers/protobuf
Description-md5: c69f5af146ab9bc64e44b912e5af457e
Section: libs
Priority: optional
Filename: pool/main/p/protobuf/libprotobuf36_36.0~rc1-1_amd64.deb
Size: 1315900
MD5sum: f8d0692d35b43b88c38032e78580d6da
SHA256: 88c744294bc4d03da58c79b7b2912ef709712f7140a1d555feb917fd0438140e

.
37915a
Package: libprotobuf-lite36
Source: protobuf
Version: 36.0~rc1-1
Installed-Size: 1005
Maintainer: Laszlo Boszormenyi (GCS) <gcs@debian.org>
Architecture: amd64
Depends: libabsl20260107 (>= 20260107.0-0~), libc6 (>= 2.14), libgcc-s1 (>= 3.4), libstdc++6 (>= 13.1), libutf8-validity0 (>= 0.0.0~git240418)
Description: protocol buffers C++ library (lite version)
Multi-Arch: same
Homepage: https://github.com/protocolbuffers/protobuf
Description-md5: bef75569f3d092ed9b714a68e215c917
Section: libs
Priority: optional
Filename: pool/main/p/protobuf/libprotobuf-lite36_36.0~rc1-1_amd64.deb
Size: 287328
MD5sum: cae8f2f3d05e43777391daabfad37e3e
SHA256: 6c9ce1b03b38df86cc7741a159b1f388a096b2cf3bd33da27e9e3b06f4d32cb8

.
37879a
Package: libprotobuf-java
Source: protobuf
Version: 36.0~rc1-1
Installed-Size: 1328
Maintainer: Laszlo Boszormenyi (GCS) <gcs@debian.org>
Architecture: all
Description: Java bindings for protocol buffers
Multi-Arch: foreign
Homepage: https://github.com/protocolbuffers/protobuf
Description-md5: 2ac9477d01e9d2920f1793f9f58f3aa6
Tag: devel::lang:java, devel::library, implemented-in::java, role::devel-lib
Section: java
Priority: optional
Filename: pool/main/p/protobuf/libprotobuf-java_36.0~rc1-1_all.deb
Size: 1220628
MD5sum: edfbd1ce28279ef538d79ab185d995de
SHA256: 3b7f12311da552d10a075216107fdd914ed4d9ee453502659958bd31970f2dd8

.
37838,37841c
Filename: pool/main/p/protobuf/libprotobuf-dev_36.0~rc1-1_amd64.deb
Size: 2489772
MD5sum: b904f89835d59ab354bedfb7140f0167
SHA256: 7dfd468c3a17bf6b4ef72c57f9797393398a113b62d3c1150ec0cef6f64854fd
.
37828,37830c
Provides: protobuf-api-36-0
Depends: zlib1g-dev, libabsl-dev (>= 20230802.1), libprotobuf36 (= 36.0~rc1-1), libprotobuf-lite36 (= 36.0~rc1-1)
Breaks: protobuf-compiler (>> 36.0~rc1-1), protobuf-compiler (<< 36.0~rc1-1)
.
37824,37825c
Version: 36.0~rc1-1
Installed-Size: 20012
.
37821a
Package: elpa-protobuf-mode
Source: protobuf
Version: 36.0~rc1-1
Installed-Size: 39
Maintainer: Laszlo Boszormenyi (GCS) <gcs@debian.org>
Architecture: all
Depends: dh-elpa-helper, emacsen-common
Description: Emacs addon for editing protocol buffers
Homepage: https://github.com/protocolbuffers/protobuf
Description-md5: 5d24efe0475e2f840cf889eba9b49a37
Section: editors
Priority: optional
Filename: pool/main/p/protobuf/elpa-protobuf-mode_36.0~rc1-1_all.deb
Size: 8988
MD5sum: b206b6cf4decd2beeb375424f4d87ca4
SHA256: 81e160313d309688c85af4000124afb48e44a11e9613b91d228584db4e79b6da

.
36823a
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

Package: plasma-bigscreen
Version: 6.7.2-1
Installed-Size: 3790
Maintainer: Debian Qt/KDE Maintainers <debian-qt-kde@lists.debian.org>
Architecture: amd64
Depends: libkf6kcmutils-bin, plasma-framework, plasma-nano, plasma-nm, plasma-workspace, python3, systemsettings, plasma-version-base-6.7, plasma-desktoptheme, plasma-pa, powerdevil, qml6-module-org-kde-bigscreen, qml6-module-org-kde-breeze-components, qml6-module-org-kde-coreaddons, qml6-module-org-kde-kcmutils, qml6-module-org-kde-kdeconnect, qml6-module-org-kde-kirigami, qml6-module-org-kde-kirigamiaddons-components, qml6-module-org-kde-kitemmodels, qml6-module-org-kde-kquickcontrolsaddons, qml6-module-org-kde-ksvg, qml6-module-org-kde-layershell, qml6-module-org-kde-milou, qml6-module-org-kde-plasma-clock, qml6-module-org-kde-plasma-plasma5support, qml6-module-org-kde-plasma-workspace, qml6-module-org-kde-taskmanager, qml6-module-qt5compat-graphicaleffects, qml6-module-qtqml, qml6-module-qtqml-models, qml6-module-qtquick, qml6-module-qtquick-controls, qml6-module-qtquick-effects, qml6-module-qtquick-layouts, qml6-module-qtquick-templates, qml6-module-qtquick-window, libc6 (>= 2.34), libgcc-s1 (>= 3.0), libkf6bluezqt6 (>= 6.14.0~), libkf6configcore6 (>= 6.14.0~), libkf6coreaddons6 (>= 6.0.0), libkf6dbusaddons6 (>= 6.14.0~), libkf6globalaccel6 (>= 6.14.0~), libkf6i18n6 (>= 6.14.0~), libkf6i18nqml6 (>= 6.14.0~), libkf6iconthemes6 (>= 6.14.0~), libkf6jobwidgets6 (>= 6.0.0), libkf6kcmutilscore6 (>= 6.14.0~), libkf6kcmutilsquick6 (>= 6.14.0~), libkf6kiogui6 (>= 6.14.0~), libkf6notifications6 (>= 6.14.0~), libkf6package6 (>= 6.0.0), libkf6screen8 (>= 4:6.1.0), libkf6service-bin, libkf6service6 (>= 6.0.0), libkf6windowsystem6 (>= 6.14.0~), libkscreen-bin, libkworkspace6-6 (>= 4:6.7.0~), libplasma7 (>= 6.7.0~), libplasmaactivities7 (>= 6.7.0~), libqcoro6qml0t64 (>= 0.7.0), libqt6core6t64 (>= 6.10.2), libqt6dbus6 (>= 6.10.0~), libqt6gui6 (>= 6.10.0~), libqt6qml6 (>= 6.10.2), libqt6quick6 (>= 6.10.0~), libqt6webenginecore6 (>= 6.10.0~), libqt6webenginecore6-bin (>= 6.10.0~), libqt6webenginequick6 (>= 6.10.0~), libqt6widgets6 (>= 6.10.0~), libsdl3-0 (>= 3.2.0), libstdc++6 (>= 14), libtaskmanager6 (>= 4:6.7.0~), qt6-base-private-abi (= 6.10.2), qt6-declarative-private-abi (= 6.10.2)
Description: Plasma Bigscreen for TVs
Homepage: https://invent.kde.org/plasma/plasma-bigscreen
Description-md5: dc0fcc6279e5c7eab9e12b78796d4cf7
Tag: uitoolkit::qt
Section: kde
Priority: optional
Filename: pool/main/p/plasma-bigscreen/plasma-bigscreen_6.7.2-1_amd64.deb
Size: 1275432
MD5sum: 4a6a4351fec7def132107d8548972081
SHA256: f01e5c7cc9063f57cedcf234759127bb8d973cec09022b8d5e80cc9621ee124f

Package: qml6-module-org-kde-bigscreen
Source: plasma-bigscreen
Version: 6.7.2-1
Installed-Size: 943
Maintainer: Debian Qt/KDE Maintainers <debian-qt-kde@lists.debian.org>
Architecture: amd64
Depends: plasma-version-base-6.7, plasma-desktoptheme, qml6-module-org-kde-kirigami, qml6-module-qt-labs-platform, qml6-module-qtmultimedia, qml6-module-qtqml, qml6-module-qtquick, qml6-module-qtquick-controls, qml6-module-qtquick-effects, qml6-module-qtquick-layouts, qml6-module-qtquick-templates, qml6-module-qtquick-window, qml6-module-qtwebengine, libc6 (>= 2.14), libgcc-s1 (>= 3.0), libkf6configcore6 (>= 6.14.0~), libkf6coreaddons6 (>= 6.0.0), libkf6i18n6 (>= 6.14.0~), libkf6jobwidgets6 (>= 6.0.0), libkf6kiogui6 (>= 6.14.0~), libqt6core6t64 (>= 6.10.2), libqt6dbus6 (>= 6.10.0~), libqt6gui6 (>= 6.10.0~), libqt6qml6 (>= 6.10.2), libqt6quick6 (>= 6.10.0~), libstdc++6 (>= 11), qt6-declarative-private-abi (= 6.10.2)
Description: Plasma Bigscreen for TVs - QML module
Multi-Arch: same
Homepage: https://invent.kde.org/plasma/plasma-bigscreen
Description-md5: 5c28d50b1cf37a96974065f04ea9d8e7
Section: kde
Priority: optional
Filename: pool/main/p/plasma-bigscreen/qml6-module-org-kde-bigscreen_6.7.2-1_amd64.deb
Size: 175912
MD5sum: 2c074d562823b154d222d075f5f8a374
SHA256: 590b376d4a3d033d58f9f40bf4a6e7e2187e3620ff7a0f103303e65898f96e09

.
36638,36768d
33653,33656c
Filename: pool/main/o/ott/ott-tools_0.34+ds-4_amd64.deb
Size: 1509568
MD5sum: 3fae082e8cac3b05b91df6df03d2fd83
SHA256: 623ea1415b4db5af56178c0d1aea33d4bf990b30727f14173288c1695e85f01a
.
33642,33644c
Source: ott
Version: 0.34+ds-4
Installed-Size: 6224
.
33636,33639c
Filename: pool/main/o/ott/libcoq-ott_0.34+ds-4_amd64.deb
Size: 164216
MD5sum: 8b053fff1259146ad530297b15a00390
SHA256: f06d1d15fa421cff6c65920ce71163dd18b006a6d141ccb11fb2820d0b4d2005
.
33629,33630c
Provides: libcoq-ott-whi68
Depends: libcoq-stdlib-py9l3
.
33624,33626c
Source: ott
Version: 0.34+ds-4
Installed-Size: 537
.
32671,32674c
Filename: pool/main/o/opencolorio/python3-pyopencolorio_2.5.1+dfsg-3_amd64.deb
Size: 1696716
MD5sum: 50a42537519fb7e4b5be17b315e367de
SHA256: 90a42bb5753098ad1fe1c682cca9068734ce286f140da2a1f761ce8da26d7bd6
.
32666d
32664c
Depends: libopencolorio2.5 (= 2.5.1+dfsg-3), python3 (<< 3.15), python3 (>= 3.13~), python3:any, libc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 14)
.
32659,32661c
Source: opencolorio
Version: 2.5.1+dfsg-3
Installed-Size: 10380
.
32653,32656c
Filename: pool/main/o/opencolorio/opencolorio-tools_2.5.1+dfsg-3_amd64.deb
Size: 182776
MD5sum: c7b1aba89b865402059aec5e3314f334
SHA256: 802275a3107290f14c7e5e5fbb013a11701237457411674edac51b132fe48bb0
.
32641,32643c
Source: opencolorio
Version: 2.5.1+dfsg-3
Installed-Size: 876
.
32635,32638c
Filename: pool/main/o/opencolorio/libopencolorio2.5_2.5.1+dfsg-3_amd64.deb
Size: 1755052
MD5sum: 1fdc7554d8729a199bfe04cabd87432e
SHA256: a3068a1771ecb0807606bc22e2c9880ca03a4fb05b695cc4da20744ea5a61a5b
.
32623,32625c
Source: opencolorio
Version: 2.5.1+dfsg-3
Installed-Size: 7421
.
32617,32620c
Filename: pool/main/o/opencolorio/libopencolorio-dev_2.5.1+dfsg-3_amd64.deb
Size: 85056
MD5sum: 0a798fadfa64f0fc79bfd4e3a972cb88
SHA256: e69f558f42f14aedbe7512a03d18bb23df69988d767c0425fecc16fbaddb2772
.
32609c
Depends: libopencolorio2.5 (= 2.5.1+dfsg-3)
.
32604,32605c
Source: opencolorio
Version: 2.5.1+dfsg-3
.
31819,31837d
31766a

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
.
31594c

.
31302,31488d
30199a
Package: python-mpmath-doc
Source: mpmath
Version: 1.5.0~a0-1
Installed-Size: 5692
Maintainer: Debian Python Team <team+python@tracker.debian.org>
Architecture: all
Depends: libjs-mathjax, libjs-sphinxdoc (>= 9.0)
Recommends: python-sympy-doc, python3-doc
Suggests: python3-mpmath
Description: library for arbitrary-precision floating-point arithmetic - Documentation
Multi-Arch: foreign
Homepage: https://www.mpmath.org/
Description-md5: d338629e7c2421c1961c35170d8b2fb8
Tag: devel::doc, devel::examples, devel::lang:python, made-of::html,
 role::documentation
Section: doc
Priority: optional
Filename: pool/main/m/mpmath/python-mpmath-doc_1.5.0~a0-1_all.deb
Size: 2383428
MD5sum: e8a003b3232be360a2a713bcef52450f
SHA256: 45726be0c35262f1c876aedd919b807c1e2bc415029e96f716b2221528ee67a6

Package: python3-mpmath
Source: mpmath
Version: 1.5.0~a0-1
Installed-Size: 2117
Maintainer: Debian Python Team <team+python@tracker.debian.org>
Architecture: all
Depends: python3:any
Suggests: python-mpmath-doc, python3-gmpy2, python3-matplotlib
Description: library for arbitrary-precision floating-point arithmetic (Python3)
Homepage: https://www.mpmath.org/
Description-md5: 1fe0defc6bc8924e23914d13b987ed7a
Section: python
Priority: optional
Filename: pool/main/m/mpmath/python3-mpmath_1.5.0~a0-1_all.deb
Size: 450852
MD5sum: 175d1cf8a2c445d9da200eff5ad87dae
SHA256: 6a6c4fd70e096b79e21fb10033f1b4d288785880186c1c8b45d4565340c709fa

.
29981,30064d
29640,29643c
Filename: pool/main/m/mini-buildd/python3-mini-buildd_2.5.4_all.deb
Size: 203440
MD5sum: a0d67eae741c1918eecc477bd359a030
SHA256: 184547360ea37ebacd68349563f82b48a82311d8fb06ff7c32a9c9ef09c29dbc
.
29627,29628c
Version: 2.5.4
Installed-Size: 1056
.
29620,29623c
Filename: pool/main/m/mini-buildd/mini-buildd-utils_2.5.4_all.deb
Size: 59212
MD5sum: 8c4506de829d688d78913b8a0311e025
SHA256: 314160ee18dbd12c8f5a45cc376a8555f363612e7141c0b79c7e5e6f190f985c
.
29612c
Depends: python3:any (>= 3.11~), python3-mini-buildd (= 2.5.4), python3-apt
.
29607,29608c
Version: 2.5.4
Installed-Size: 110
.
29600,29603c
Filename: pool/main/m/mini-buildd/mini-buildd-doc_2.5.4_all.deb
Size: 341044
MD5sum: 9feeec4a5bd504624365768349fcdbf2
SHA256: 847f90552dd94c32e384f2be84be296892c2e41db9033e6ddf0d4c94696a0be8
.
29592c
Depends: libjs-sphinxdoc (>= 9.0)
.
29587,29588c
Version: 2.5.4
Installed-Size: 3707
.
29580,29583c
Filename: pool/main/m/mini-buildd/mini-buildd_2.5.4_all.deb
Size: 77916
MD5sum: edd6c71852aab6a23741344a861ffaca
SHA256: f6e4a12d720ae995f9242eedb1290dfbde1b1c761a240def76ccba7696bbf389
.
29570,29571c
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)
.
29565,29566c
Version: 2.5.4
Installed-Size: 246
.
25312a
Package: libyang-cpp-dev
Source: libyang-cpp
Version: 4+20260710-1
Installed-Size: 97
Maintainer: Daniel Baumann <daniel@debian.org>
Architecture: amd64
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_amd64.deb
Size: 17128
MD5sum: 51f76aa98a49e39fd8f158443bec61fb
SHA256: 76a833b29fe0baeab35584c776b1cf1a864d68a9e7b13653ed9fee2c4cf8db39

Package: libyang-cpp10
Source: libyang-cpp
Version: 4+20260710-1
Installed-Size: 432
Maintainer: Daniel Baumann <daniel@debian.org>
Architecture: amd64
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_amd64.deb
Size: 120520
MD5sum: c42bd7a1defe7a3c95fa6ebe9f04f7cb
SHA256: 5860ae4fee6cf7b7f7f1876203eefff9975e9b79f9c765ef5b15c4ef36bdd8d1

.
24990,25105d
24972a
Package: libtorrent47
Source: libtorrent
Version: 0.16.17-1
Installed-Size: 1734
Maintainer: Jose Luis Rivas <ghostbar@debian.org>
Architecture: amd64
Depends: libc6 (>= 2.38), libcurl4t64 (>= 7.63.0), libgcc-s1 (>= 3.4), libssl3t64 (>= 3.0.0), libstdc++6 (>= 14), zlib1g (>= 1:1.1.4)
Description: C++ BitTorrent library by Rakshasa
Multi-Arch: same
Homepage: https://rtorrent.net/
Description-md5: f64558ce33a3049640e3f325f06f8671
Section: libs
Priority: optional
Filename: pool/main/libt/libtorrent/libtorrent47_0.16.17-1_amd64.deb
Size: 580936
MD5sum: 33554a1196bdc7fceda309dd9c7c23c8
SHA256: d4cfdf2b70b5a6e6f4bc99afca773ea4fcecbc76ec552bfce4c0f988c260eedd

Package: libtorrent-rasterbar-dev
Source: libtorrent-rasterbar
Version: 2.1.0-2
Installed-Size: 2239
Maintainer: Christian Marillat <marillat@debian.org>
Architecture: amd64
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_amd64.deb
Size: 437508
MD5sum: eb140e8706d931c1e83e93b33cafc800
SHA256: 9041263e6e686549854a1a704b65e5bf23d1f46e3d26952868835bb55fbff79c

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: 9807
Maintainer: Christian Marillat <marillat@debian.org>
Architecture: amd64
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.4), 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_amd64.deb
Size: 2863380
MD5sum: d851665b91050c22dc089829bad02501
SHA256: eafe707e0c9b586e7728e7855fb72d40fdd358d4de31cb477c3b4c7343d705d7

Package: python3-libtorrent
Source: libtorrent-rasterbar
Version: 2.1.0-2
Installed-Size: 4764
Maintainer: Christian Marillat <marillat@debian.org>
Architecture: amd64
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_amd64.deb
Size: 680792
MD5sum: 5fe863730a3ec0f3186c8187357ebf47
SHA256: 410cf12649e607d3af25609f7b038d307610839db29f9a9698d58d035c59eb50

.
24950,24953c
Filename: pool/main/libt/libtorrent/libtorrent-dev_0.16.17-1_amd64.deb
Size: 62336
MD5sum: 165365fe515b378c94470fb8a678111d
SHA256: 615462089b756d680b0959ca3e3c32081b50c2d4a4cefdd52e18750fbd39e6d0
.
24941c
Depends: libsigc++-2.0-dev, libtorrent47 (= 0.16.17-1)
.
24937,24938c
Version: 0.16.17-1
Installed-Size: 369
.
20011,20047d
18187,18190c
Filename: pool/main/k/kstars/kstars-data_3.8.3-2_all.deb
Size: 22397564
MD5sum: 32b0caa52d05f969b1cc6bbcaf240129
SHA256: cd60ece65960bb50b1b0cfd8638a819f0fca273f8e84507c39463e8d6a6c5cc7
.
18176,18178c
Version: 5:3.8.3-2
Installed-Size: 73323
Maintainer: Debian KDE Extras Team <pkg-kde-extras@alioth-lists.debian.net>
.
18169,18172c
Filename: pool/main/k/kstars/kstars_3.8.3-2_amd64.deb
Size: 10264244
MD5sum: f18621b92d4d3f24cb1873a930350ea4
SHA256: 5ab2066b3c850cb12eaceabbed6d843d840a52cc744128b341a614a4d8fdf350
.
18158,18159c
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
.
18154,18156c
Version: 5:3.8.3-2
Installed-Size: 36666
Maintainer: Debian KDE Extras Team <pkg-kde-extras@alioth-lists.debian.net>
.
16900a
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

.
15495,15571d
11838a
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: 2285
Maintainer: Debian Go Packaging Team <team+pkg-go@tracker.debian.org>
Architecture: amd64
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_amd64.deb
Size: 768740
MD5sum: 8ddc62f3f44de231efafc734cce16b4f
SHA256: 45afd01937fbc102c1e4a16a8e121edbd9d3e3fb71711b65331b3dc53f82ea99

.
11606a
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: 54574
Maintainer: Debian Go Packaging Team <team+pkg-go@tracker.debian.org>
Architecture: amd64
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_amd64.deb
Size: 15608784
MD5sum: 81b3e888725d5dce7c49c6f69eb5cf35
SHA256: bfa6c9bbd9caa45bcfb148eef860a3655709afb372ba7eccdc3e04796bef1163

.
10933,11003d
10522,10880d
9662,9782d
6860,6863c
Filename: pool/main/f/flocq/libcoq-flocq_4.2.2-1_amd64.deb
Size: 3466044
MD5sum: e5994484af431642dba424d61c318597
SHA256: 9880c651e870bc39e635d4751177e6007efa3737a3fc273581fa380b44195935
.
6853,6854c
Provides: libcoq-flocq-qa0a1
Depends: libcoq-stdlib-py9l3
.
6848,6850c
Source: flocq
Version: 4.2.2-1
Installed-Size: 9252
.
6787,6790c
Filename: pool/main/f/findutils/locate_4.11.0-1_amd64.deb
Size: 318572
MD5sum: 02223952d80cb9dc05d3e8972c8f3e8b
SHA256: 5f89d1c8aabb9bea98a16f5accd88360dc5f20dd34a9a9071d7bb0b61dbba99d
.
6773,6774c
Version: 4.11.0-1
Installed-Size: 502
.
6766,6769c
Filename: pool/main/f/findutils/findutils_4.11.0-1_amd64.deb
Size: 781668
MD5sum: f9ea3ffe26eb4d3979ca2702080d8185
SHA256: 50f94436e10ae6c3d15a96f6ec95e3ae4598cb5f7aa9b60f88a5711915dc0980
.
6753c
Installed-Size: 2368
.
6751c
Version: 4.11.0-1
.
6023,6026c
Filename: pool/main/e/elpi/libelpi-ocaml-dev_3.7.2-1_amd64.deb
Size: 12174836
MD5sum: 1561df46114e8d7c8130eb87ce449feb
SHA256: 3014e7aa21795b3f53ec822c1978255d49934c74806887079e900ed819276d78
.
6015,6016c
Provides: libelpi-ocaml-dev-tdlf9
Depends: libcompiler-libs-ocaml-dev-qi4l7, libelpi-ocaml-tdlf9, libmenhir-ocaml-dev-bzns5, libocaml-compiler-libs-ocaml-dev-zo0o8, libppx-deriving-ocaml-dev-vdf20, libppxlib-ocaml-dev-jcsb1, libre-ocaml-dev-0qw54, libsexplib0-ocaml-dev-glwc7, libstdlib-ocaml-dev-1ltp0, ocaml-5.4.1, libc6 (>= 2.38)
.
6010,6012c
Source: elpi
Version: 3.7.2-1
Installed-Size: 58163
.
6004,6007c
Filename: pool/main/e/elpi/libelpi-ocaml_3.7.2-1_amd64.deb
Size: 3400192
MD5sum: c69699982227d3b1363a1eed6fd8f754
SHA256: 132fb981c5476b43bddd18c63329800456691612c5e1c234da79f80c19d892cb
.
5996,5997c
Provides: libelpi-ocaml-tdlf9
Depends: libppx-deriving-ocaml-vdf20, libsexplib0-ocaml-glwc7, libstdlib-ocaml-1ltp0, ocaml-base-5.4.1
.
5991,5993c
Source: elpi
Version: 3.7.2-1
Installed-Size: 13802
.
5985,5988c
Filename: pool/main/e/elpi/elpi_3.7.2-1_amd64.deb
Size: 1874564
MD5sum: c287d060a296164583eb88e248f2e5c4
SHA256: e0f45ed2341653dd246de62a86627ceea2be9bf256b501a33da69d2092fd969b
.
5979c
Depends: libelpi-ocaml (= 3.7.2-1), libc6 (>= 2.42)
.
5974,5976c
Version: 3.7.2-1
Installed-Size: 8918
.
5749a
Package: eclib-tools
Source: eclib
Version: 20260707-1
Installed-Size: 37
Maintainer: Debian Math Team <team+math@tracker.debian.org>
Architecture: amd64
Depends: libec16 (= 20260707-1), libc6 (>= 2.38), libgcc-s1 (>= 3.0), libntl44 (>= 11.5.1), libstdc++6 (>= 13.1)
Breaks: sagemath (<< 8.4~)
Description: Programs for modular symbols and elliptic curves over Q
Homepage: https://github.com/JohnCremona/eclib/
Description-md5: 0eb561b8bbb6cb2cb47894e7198e0b99
Section: math
Priority: optional
Filename: pool/main/e/eclib/eclib-tools_20260707-1_amd64.deb
Size: 10636
MD5sum: 012f4f32aad1610153542ea1b406bd1c
SHA256: 46bd7576a602d2e494578d0992ea231d5cd684a447af8276c7a5735db43625e2

Package: libec-dev
Source: eclib
Version: 20260707-1
Installed-Size: 552
Maintainer: Debian Math Team <team+math@tracker.debian.org>
Architecture: amd64
Depends: libec16 (= 20260707-1)
Description: Library for modular symbols and elliptic curves over Q (development)
Multi-Arch: same
Homepage: https://github.com/JohnCremona/eclib/
Description-md5: 8f18a559e7677b64537acd6ee68e3ef0
Tag: devel::library, role::devel-lib
Section: libdevel
Priority: optional
Filename: pool/main/e/eclib/libec-dev_20260707-1_amd64.deb
Size: 122228
MD5sum: 323b5b16a287e1964a09ed327412cbe2
SHA256: c0ae3c598600ad70127b9047c16c73bf3b7df136ddca71c230de043210814230

Package: libec16
Source: eclib
Version: 20260707-1
Installed-Size: 4196
Maintainer: Debian Math Team <team+math@tracker.debian.org>
Architecture: amd64
Replaces: libec10t64
Depends: libc6 (>= 2.38), libflint23 (>= 3.5.0), libgcc-s1 (>= 3.0), libntl44 (>= 11.5.1), libpari-gmp-tls9, libstdc++6 (>= 14)
Breaks: libec10 (<< 20260707-1)
Description: Library for modular symbols and elliptic curves over Q
Multi-Arch: same
Homepage: https://github.com/JohnCremona/eclib/
Description-md5: ef0e5b8927c7d668542172bb1c11ebbd
Section: libs
Priority: optional
Filename: pool/main/e/eclib/libec16_20260707-1_amd64.deb
Size: 1294956
MD5sum: 3259d26302197ba101c2b7743811fc6c
SHA256: 41976169c313534a4f5d1a709e33cbdf57dbdeea49f3fbeb34187c82da56dfaf

.
5675,5713d
5319,5587d
4923,4926c
Filename: pool/main/d/dh-golang/dh-golang_1.66~exp2_all.deb
Size: 24360
MD5sum: 90b949f34b0895d7b6225c91674c61e7
SHA256: 384d0391b62e48047e124f6895712d19af1537ebe6f5da434cba3632d2d74d77
.
4912c
Version: 1.66~exp2
.
3817,3820c
Filename: pool/main/c/courier/sqwebmail_7.0.2+2.0.2-4_amd64.deb
Size: 768692
MD5sum: 9dd57e613f62389777e129f8081e39db
SHA256: 048f3ac3c0e79056adeec58c25d1af16500d30342cd495d9a3a7313fd94c5a7f
.
3808c
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
.
3803,3804c
Source: courier (2.0.2-4)
Version: 7.0.2+2.0.2-4
.
3797,3800c
Filename: pool/main/c/courier/courier-webadmin_2.0.2-4_amd64.deb
Size: 113032
MD5sum: 078cc2bfb36b612d11b2dc7dd9f6c2ae
SHA256: af48678706cff93d620b14330420cd3e6abdd840e0ea5a79a80e9d8869e6bbe2
.
3788c
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
.
3784c
Version: 2.0.2-4
.
3777,3780c
Filename: pool/main/c/courier/courier-pop_2.0.2-4_amd64.deb
Size: 184124
MD5sum: 6a231fb0228d4297f4ff411160500c17
SHA256: 4b7edf16e4106ead8a4a444ce547d687ec2f61b3f373f3ceda04acef9459ad29
.
3766c
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)
.
3760c
Version: 2.0.2-4
.
3753,3756c
Filename: pool/main/c/courier/courier-pcp_2.0.2-4_amd64.deb
Size: 177712
MD5sum: e7414f534d23b13502cec46e0375ec9c
SHA256: eecc0be30f5375ed9c362336907242208de219ac3eedf3c23ffe200b2e72cdb2
.
3740c
Version: 2.0.2-4
.
3733,3736c
Filename: pool/main/c/courier/courier-mta_2.0.2-4_amd64.deb
Size: 803424
MD5sum: d3c69fb57666e57332aa1a4426c66f09
SHA256: 6527aa6da887eb5b0dca51c619ae96858c8cfac78466ebedd729b050a3d14f19
.
3722c
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
.
3716c
Version: 2.0.2-4
.
3709,3712c
Filename: pool/main/c/courier/courier-mlm_2.0.2-4_amd64.deb
Size: 483044
MD5sum: 791e2ac4139689f97ee042941ac9c510
SHA256: 4da2c69ead0196fae8b0c41c14102f251c3e36833d83ba3eb4083b7e82d3473a
.
3700c
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)
.
3696c
Version: 2.0.2-4
.
3689,3692c
Filename: pool/main/c/courier/courier-ldap_2.0.2-4_amd64.deb
Size: 105780
MD5sum: 67d0f7e10912b1f67c1a439709cb7aa4
SHA256: 77b2523bd0f49f565a44ec808d5fba4533813999866a2c6314b469f86e42ca54
.
3679c
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)
.
3674c
Version: 2.0.2-4
.
3667,3670c
Filename: pool/main/c/courier/courier-imap_6.0.1+2.0.2-4_amd64.deb
Size: 445368
MD5sum: 6aff0e81971bc0657b885e78c60c34a7
SHA256: abcf2b99cfbcec11d9d7bfd86f1f6752f5f065b37d0b6f073cbdc4e463680b84
.
3656c
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)
.
3649,3650c
Source: courier (2.0.2-4)
Version: 6.0.1+2.0.2-4
.
3643,3646c
Filename: pool/main/c/courier/courier-faxmail_2.0.2-4_amd64.deb
Size: 100552
MD5sum: 1f81f651d3ffd4078ba63f7c1fb7ce24
SHA256: 24f32979ad48c800509062726fc2b8df6138ed8e88014a94662027524d06b59f
.
3633c
Depends: courier-mta (= 2.0.2-4), ghostscript, groff, mgetty-fax, systemd | systemd-standalone-tmpfiles | systemd-tmpfiles
.
3629c
Version: 2.0.2-4
.
3622,3625c
Filename: pool/main/c/courier/courier-doc_2.0.2-4_all.deb
Size: 378280
MD5sum: 171bd118b02f6f30b1110b779150d428
SHA256: 2adeb68c141472bef3657f5f2f41e9a94758c6a30f9d27cd546bba5561154cb7
.
3610c
Version: 2.0.2-4
.
3603,3606c
Filename: pool/main/c/courier/courier-base_2.0.2-4_amd64.deb
Size: 355136
MD5sum: 604097635c4a985869c20cbdb0e9be9e
SHA256: c92a0f9c53ddb0b4450402781e2d761314f62e78f8fcf640f2b806d98567d2fa
.
3590c
Version: 2.0.2-4
.
3457,3460c
Filename: pool/main/c/coqprime/libcoq-coqprime_8.20.1-4_amd64.deb
Size: 1770148
MD5sum: 07005a9821aa7f50f4f9909908c1eeab
SHA256: d899663e203ffc32380d32cfedcea44e583d600afa1ed180201a305a346aa69f
.
3450,3451c
Provides: libcoq-coqprime-l9ff6
Depends: libcoq-bignums-rb1v5, libcoq-stdlib-py9l3
.
3445,3447c
Source: coqprime
Version: 8.20.1-4
Installed-Size: 5606
.
3439,3442c
Filename: pool/main/c/coqprime/coqprime-tools_8.20.1-4_amd64.deb
Size: 145352
MD5sum: 29b9400fdaf2f6f5adcdc14dd786e6a7
SHA256: 62be4c585eae30daec5fb8413aeefd3f7dee5e4e6c513922825ac2cf4934c704
.
3433c
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)
.
3428,3430c
Source: coqprime
Version: 8.20.1-4
Installed-Size: 843
.
3404,3407c
Filename: pool/main/c/coq-unimath/libcoq-unimath_20260603-1_amd64.deb
Size: 58603276
MD5sum: e8d54c7481451bfe3ebf29808c8b3083
SHA256: 59d6dd828fb23931d0252e7805827346d18938d6da1c6423e10c8d38b997dd36
.
3397,3398c
Provides: libcoq-unimath-vptd3
Depends: libcoq-stdlib-py9l3
.
3392,3394c
Source: coq-unimath
Version: 20260603-1
Installed-Size: 253164
.
3386,3389c
Filename: pool/main/c/coq-unicoq/libcoq-unicoq_1.6-9.1-1_amd64.deb
Size: 86064
MD5sum: bbea8b25b0a3de93f0e5cf0e1e7c2e9a
SHA256: 03f271af6ef948c6a3d96c822fdfc1c1f58d4a8f0c601e0097cd81a9efc708dc
.
3379,3380c
Provides: libcoq-unicoq-2ncl2
Depends: libcoq-stdlib-py9l3
.
3374,3376c
Source: coq-unicoq
Version: 1.6-9.1-1
Installed-Size: 342
.
3368,3371c
Filename: pool/main/c/coq-stdpp/libcoq-stdpp_1.13.0-1_amd64.deb
Size: 5282608
MD5sum: ada04d95ac018ff648289c680cfd0842
SHA256: de0446ca94559c7c1655f3d80817ca7159bf35204c0766b5093588ffde23e11c
.
3361,3362c
Provides: libcoq-stdpp-25jn9
Depends: libcoq-stdlib-py9l3
.
3356,3358c
Source: coq-stdpp
Version: 1.13.0-1
Installed-Size: 16768
.
3350,3353c
Filename: pool/main/c/coq-simple-io/libcoq-simple-io_1.11.0-4_amd64.deb
Size: 225992
MD5sum: 6877c52e3235b897cdf0f8917b2a29da
SHA256: 813f1b7b12ad2de9a73af5ea6706c01dd39e312845d80b39b0d89def7033dbb5
.
3343,3344c
Provides: libcoq-simple-io-gygr0
Depends: libcoq-ext-lib-1p8h4, libcoq-stdlib-py9l3
.
3338,3340c
Source: coq-simple-io
Version: 1.11.0-4
Installed-Size: 1147
.
3296,3299c
Filename: pool/main/c/coq-reduction-effects/libcoq-reduction-effects_0.1.6-3_amd64.deb
Size: 15888
MD5sum: 3730313fc25d512751417934db438a2f
SHA256: 7a2ae2ecaccddac7f653b8738a2ae8fb19e423e15ddf0febaa1b2a5334734810
.
3289,3290c
Provides: libcoq-reduction-effects-h7500
Depends: libcoq-stdlib-py9l3
.
3284,3286c
Source: coq-reduction-effects
Version: 0.1.6-3
Installed-Size: 82
.
3278,3281c
Filename: pool/main/c/coq-record-update/libcoq-record-update_0.3.7-1_amd64.deb
Size: 19144
MD5sum: 10c2fd894d18444b3e41ece12a3b0a02
SHA256: b238bb176cdc079b281b788f6ff0dd0db4d32f017566ee25561f58bd4e984b08
.
3271,3272c
Provides: libcoq-record-update-y9my0
Depends: libcoq-stdlib-py9l3
.
3266,3268c
Source: coq-record-update
Version: 0.3.7-1
Installed-Size: 69
.
3225,3228c
Filename: pool/main/c/coq-mtac2/libcoq-mtac2_1.4-rocq9.1-1_amd64.deb
Size: 793416
MD5sum: 13c6a48ef540d312fd0e03fa57fb287f
SHA256: d33bf6b572d29c0cf0ecdc813f68b6f7edb829a7e48a1f2f2fa9b6634aefe6e0
.
3218,3219c
Provides: libcoq-mtac2-en525
Depends: libcoq-stdlib-py9l3, libcoq-unicoq-2ncl2
.
3213,3215c
Source: coq-mtac2
Version: 1.4-rocq9.1-1
Installed-Size: 3130
.
3207,3210c
Filename: pool/main/c/coq-menhirlib/libcoq-menhirlib_20260209+ds-1_amd64.deb
Size: 915312
MD5sum: 8aef166ed959f1d7baae595903dc2830
SHA256: 69696d64d7a44674c57165cbca2aca44066aee9de52d48312e6b7857d7c222a3
.
3200,3201c
Provides: libcoq-menhirlib-e9at4
Depends: libcoq-stdlib-py9l3
.
3195,3197c
Source: coq-menhirlib
Version: 20260209+ds-1
Installed-Size: 2700
.
3189,3192c
Filename: pool/main/c/coq-math-classes/libcoq-math-classes_9.0.0-3_amd64.deb
Size: 2873388
MD5sum: d729aba78af6d1dd514ae22bfb92f07b
SHA256: 95fc101d1c8a6a648a798b1ea87cfa09b83b0525fcaad61e5c3f3a18a6eb9b34
.
3182,3183c
Provides: libcoq-math-classes-miij7
Depends: libcoq-bignums-rb1v5, libcoq-stdlib-py9l3
.
3177,3179c
Source: coq-math-classes
Version: 9.0.0-3
Installed-Size: 9797
.
3171,3174c
Filename: pool/main/c/coq-libhyps/libcoq-libhyps_5.0.0-1_amd64.deb
Size: 79156
MD5sum: b12f24b23d96db70f50485275ac0686a
SHA256: f0c9056ad218affd60480e0f3f5b620a18584217c6dbc25e6be1efd0bf8d17b8
.
3164,3165c
Provides: libcoq-libhyps-89nr2
Depends: libcoq-stdlib-py9l3
.
3159,3161c
Source: coq-libhyps
Version: 5.0.0-1
Installed-Size: 377
.
3153,3156c
Filename: pool/main/c/coq-iris/libcoq-iris_4.5.0-1_amd64.deb
Size: 13242860
MD5sum: 821357bd8d4ac5bbd76aab2ed2094206
SHA256: 6ca3932b9d6e17ea00fefa8a5401011ff121b1a233eb335db8a72f621ae77311
.
3146,3147c
Provides: libcoq-iris-avtd6
Depends: libcoq-stdpp-25jn9
.
3142,3143c
Version: 4.5.0-1
Installed-Size: 38873
.
3117,3120c
Filename: pool/main/c/coq-hott/libcoq-hott_9.1-1_amd64.deb
Size: 15126448
MD5sum: 62e7be8df7ab7021ce23337dc450e204
SHA256: 38815fe64f8134750e86388b49978da2cbff621564c718c32c559f2f0c20c8e3
.
3110,3111c
Provides: libcoq-hott-nybv9
Depends: libcoq-stdlib-py9l3
.
3105,3107c
Source: coq-hott
Version: 9.1-1
Installed-Size: 60225
.
3099,3102c
Filename: pool/main/c/coq-hierarchy-builder/libcoq-hierarchy-builder_1.10.3-1_amd64.deb
Size: 802208
MD5sum: 19d35d1a8c1becf4949f381099874951
SHA256: c15f2a517967142071af751e78cabe6bbb0be5c320f35837aef0588a38363ec2
.
3091,3092c
Provides: libcoq-hierarchy-builder-a2ma2
Depends: libcoq-elpi-t41j6
.
3086,3088c
Source: coq-hierarchy-builder
Version: 1.10.3-1
Installed-Size: 2321
.
3080,3083c
Filename: pool/main/c/coq-hammer/libcoq-hammer_1.3.3+9.2-1_amd64.deb
Size: 516536
MD5sum: 57e7c0c77994c70db699c7405e2cabfd
SHA256: d1e8c88ce693fc66a972d6389a6de55a93e1c59dd1d5e8db8d68b5a18a063e43
.
3073,3074c
Provides: libcoq-hammer-s2vw3
Depends: libcoq-stdlib-py9l3, libc6 (>= 2.38), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1)
.
3068,3070c
Source: coq-hammer
Version: 1.3.3+9.2-1
Installed-Size: 2428
.
3062,3065c
Filename: pool/main/c/coq-gappa/libcoq-gappa_1.10.0-1_amd64.deb
Size: 607828
MD5sum: 1329c26c6d7da77693f7421669e71a7b
SHA256: d862b7cd15c2b5ee21033dfe6bf4a1f43ab2b944ebbe90ccd748e6d41c318acb
.
3055,3056c
Provides: libcoq-gappa-cxvl7
Depends: gappa, libcoq-flocq-qa0a1, libcoq-stdlib-py9l3
.
3050,3052c
Source: coq-gappa
Version: 1.10.0-1
Installed-Size: 1498
.
3026,3029c
Filename: pool/main/c/coq-ext-lib/libcoq-ext-lib_0.13.1-1_amd64.deb
Size: 772108
MD5sum: bb2d16d6326823d7e2f154751430fe74
SHA256: c9145429837a0193257708e07506611e36c432688dec10f09f38035b47ad9537
.
3019,3020c
Provides: libcoq-ext-lib-1p8h4
Depends: libcoq-stdlib-py9l3
.
3014,3016c
Source: coq-ext-lib
Version: 0.13.1-1
Installed-Size: 2793
.
3012a
Package: libcoq-equations
Source: coq-equations
Version: 1.3.2-9.2-1
Installed-Size: 36460
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: amd64
Provides: libcoq-equations-j4gb0
Depends: libcoq-hott-nybv9, libcoq-stdlib-py9l3
Description: Coq library to work with functions defined by equations
Homepage: https://github.com/mattam82/Coq-Equations
Description-md5: 33a517ad7548092fab1b723f4ca09c95
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-equations/libcoq-equations_1.3.2-9.2-1_amd64.deb
Size: 9335768
MD5sum: ab9d551ed355c4ff239e647ea7727b14
SHA256: eacc58a83ec1e2652447f6b2f30d641ebdd7b281898205c1349213d778d9cf18

.
3008,3011c
Filename: pool/main/c/coq-elpi/libcoq-elpi_3.4.0-1_amd64.deb
Size: 12791576
MD5sum: 51b8c1e28fc3771c940e1cd8aaa287f1
SHA256: 281c76ee40974b11ae7bd887b5123127510457f67aa5baae2878032a414ae795
.
3001,3002c
Provides: libcoq-elpi-t41j6
Depends: libelpi-ocaml-dev, libcoq-stdlib-py9l3, libcoq-core-ocaml-zcpg4, libelpi-ocaml-tdlf9, libppx-deriving-ocaml-vdf20, libstdlib-ocaml-1ltp0, libzarith-ocaml-igxp5, libc6 (>= 2.42)
.
2996,2998c
Source: coq-elpi
Version: 3.4.0-1
Installed-Size: 76592
.
2994a
Package: coq-dpdgraph-tools
Source: coq-dpdgraph
Version: 1.0+9.1-1
Installed-Size: 3864
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: amd64
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_amd64.deb
Size: 648320
MD5sum: d346918122610b53a94b7b27b7f8e88a
SHA256: 184e5e70c1cb8a036b8749bef4336665dec017dadc4b42f2c6761a4ffe88fed1

Package: libcoq-dpdgraph
Source: coq-dpdgraph
Version: 1.0+9.1-1
Installed-Size: 182
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: amd64
Provides: libcoq-dpdgraph-gos05
Depends: libcoq-stdlib-py9l3
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_amd64.deb
Size: 35680
MD5sum: da2aafa2a4b18a8fb4c6b944ca14f63c
SHA256: 6aad15569fe5246f1e8039d136516dcf0797e13dc59d4478291a21da2d0abaa9

.
2954,2957c
Filename: pool/main/c/coq-bignums/libcoq-bignums_9.0.0+rocq9.2-1_amd64.deb
Size: 1899420
MD5sum: b41ba2f908a5fd3585d088f30c53c35a
SHA256: 8bcdbd72ba14799b88b5b569e9ea6903e75e4f98d5bd1a7d7fb2a9df8f2e0dd8
.
2947,2948c
Provides: libcoq-bignums-rb1v5
Depends: libcoq-stdlib-py9l3
.
2942,2944c
Source: coq-bignums
Version: 9.0.0+rocq9.2-1
Installed-Size: 6602
.
2936,2939c
Filename: pool/main/c/coq/rocqide_9.2.0+dfsg-1_amd64.deb
Size: 1941608
MD5sum: f31e8bfa5cf53a23e481155aa1dda918
SHA256: d4b4d26db5c457d86dbca57df4ea3ac89f08c4cea680fd8f4a4205f01ed2b1b8
.
2929c
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)
.
2923,2925c
Source: coq
Version: 9.2.0+dfsg-1
Installed-Size: 8903
.
2917,2920c
Filename: pool/main/c/coq/libcoq-core-ocaml-dev_9.2.0+dfsg-1_amd64.deb
Size: 55434592
MD5sum: 815875daa3d5e75bc6352b2d97a6b380
SHA256: 0bc26c1329a1f0a3b4e33d9b812375fcbe427272f112c4a12da0bf4459dc210d
.
2910,2911c
Provides: libcoq-core-ocaml-dev-zcpg4
Depends: libcompiler-libs-ocaml-dev-qi4l7, libcoq-core-ocaml-zcpg4, libfindlib-ocaml-dev-hz390, libstdlib-ocaml-dev-1ltp0, libzarith-ocaml-dev-igxp5, ocaml-5.4.1
.
2905,2907c
Source: coq
Version: 9.2.0+dfsg-1
Installed-Size: 240374
.
2899,2902c
Filename: pool/main/c/coq/libcoq-core-ocaml_9.2.0+dfsg-1_amd64.deb
Size: 25713812
MD5sum: 02630fbf99783d57332d3a7b7a18d3b1
SHA256: 9958a5572017c1aa1292a99d8461eae5e693e822099a757e3d89987a197c5847
.
2891c
Provides: libcoq-core-ocaml-zcpg4
.
2886,2888c
Source: coq
Version: 9.2.0+dfsg-1
Installed-Size: 94030
.
2880,2883c
Filename: pool/main/c/coq/libcoq-core_9.2.0+dfsg-1_amd64.deb
Size: 1153152
MD5sum: 586763c9cf32874155c4373ade04eef1
SHA256: 1c3de252c5270a63899daac7c6b435bb01dd3404e1659510314b889e1fb63d2f
.
2872c
Provides: libcoq-core-dzvj8
.
2866,2868c
Source: coq
Version: 9.2.0+dfsg-1
Installed-Size: 5685
.
2860,2863c
Filename: pool/main/c/coq/coq_9.2.0+dfsg-1_amd64.deb
Size: 41143764
MD5sum: 326074c4df88b995214671bceba1ce26
SHA256: 2be0691cc0285d354f206f0723730183319d29b0488b4038dd77732e7a15a866
.
2849,2850c
Provides: coq-9.2+5.4.1
Depends: libcoq-core (= 9.2.0+dfsg-1), libcoq-core-ocaml-zcpg4, libfindlib-ocaml-hz390, libstdlib-ocaml-1ltp0, libzarith-ocaml-igxp5, ocaml-base-5.4.1, libc6 (>= 2.42), libgmp10 (>= 2:6.3.0+dfsg), ocaml, ocaml-findlib, python3
.
2844,2846c
Version: 9.2.0+dfsg-1
Installed-Size: 166096
.
2628a
Package: cmake
Version: 4.4.0-1
Installed-Size: 61282
Maintainer: Debian CMake Team <pkg-cmake-team@lists.alioth.debian.org>
Architecture: amd64
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_amd64.deb
Size: 16615604
MD5sum: 1a2d91fe8de37f1b549f8f89765b04b9
SHA256: 00ae75e83e44f2a86fc3da4607bb894b49dbe34d5832497d53a4cfa7a0445bc5

Package: cmake-curses-gui
Source: cmake
Version: 4.4.0-1
Installed-Size: 14675
Maintainer: Debian CMake Team <pkg-cmake-team@lists.alioth.debian.org>
Architecture: amd64
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_amd64.deb
Size: 4296060
MD5sum: 7718348c2549855804a3c15b80c89790
SHA256: 7768ebbfe3ea7f682d1e76dc3cbdb57c64cb8b45159fe5df18682de4b7ffb942

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: 15189
Maintainer: Debian CMake Team <pkg-cmake-team@lists.alioth.debian.org>
Architecture: amd64
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_amd64.deb
Size: 4429884
MD5sum: aa6cf5c40d870f5be925c7f9ce8c09c7
SHA256: 092d4cce4bbd383b94ce58b5fb51bd8578b84a1832379db222ac4e98c2823943

.
929a
Package: alumet
Version: 0.9.5+ds-1~draft1
Installed-Size: 27661
Maintainer: Jonas Smedegaard <dr@jones.dk>
Architecture: amd64
Depends: libc6 (>= 2.39), libgcc-s1 (>= 4.2), libssl3t64 (>= 3.0.0)
Suggests: alumet-docs
Description: framework for collecting energy and performance metrics - command-line agent
Homepage: https://github.com/alumet-dev/alumet
Built-Using: rust-amd-smi-wrapper (= 0.7.0+20260602+ds-1), rust-c-enum (= 0.2.3+ds-3), rust-evalexpr (= 13.1.0+ds-2), rust-mount-watcher (= 0.5.0+20250707+ds-1), rust-nix (= 0.30.1-3), rust-perf-event2 (= 0.7.4+ds+~0.1.8+ds-3), rust-procfs (= 0.17.0-4), rust-rustls-pki-types (= 1.14.1+ds-1), rustc (= 1.95.0+dfsg1-2)
Description-md5: 4eecc70478b9c533914bd1839e890783
Static-Built-Using: rust-adler2 (= 2.0.1-2), rust-aho-corasick (= 1.1.4-1), rust-amd-smi-wrapper (= 0.7.0+20260602+ds-1), rust-anstream (= 0.6.21-1), rust-anstyle (= 1.0.14-1), rust-anstyle-parse (= 0.2.7-1), rust-anstyle-query (= 1.1.4-1), rust-anyhow (= 1.0.102-1), rust-atomic-waker (= 1.1.2-1), rust-base64 (= 0.22.1-2), rust-bitflags (= 2.13.0-1), rust-byteorder (= 1.5.0-1), rust-bytes (= 1.11.1-1), rust-c-enum (= 0.2.3+ds-3), rust-cfg-if (= 1.0.4-1), rust-chrono (= 0.4.45-1), rust-clap (= 4.6.1-1), rust-clap-builder (= 4.6.0-1), rust-clap-lex (= 1.1.0-1), rust-cobs (= 0.2.3-1), rust-colorchoice (= 1.0.0-1), rust-crc32fast (= 1.5.0-2), rust-deranged (= 0.3.11-1), rust-diff (= 0.1.13-1), rust-either (= 1.15.0-1), rust-enum-map (= 2.7.3-1), rust-env-filter (= 1.0.1-1), rust-env-logger (= 0.11.10-1), rust-equivalent (= 1.0.1-1), rust-errno (= 0.3.14-1), rust-evalexpr (= 13.1.0+ds-2), rust-flate2 (= 1.1.9-2), rust-fnv (= 1.0.7-1), rust-foreign-types-0.3 (= 0.3.2-2), rust-foreign-types-shared-0.1 (= 0.1.1-2), rust-form-urlencoded (= 1.2.2-1), rust-futures (= 0.3.32-1), rust-futures-channel (= 0.3.32-1), rust-futures-core (= 0.3.32-1), rust-futures-executor (= 0.3.32-1), rust-futures-io (= 0.3.32-1), rust-futures-sink (= 0.3.32-1), rust-futures-task (= 0.3.32-1), rust-futures-util (= 0.3.32-3), rust-h2 (= 0.4.13-1), rust-hash32 (= 0.3.1-2), rust-hashbrown (= 0.16.1-2), rust-heapless (= 0.8.0-2), rust-hex (= 0.4.3-3), rust-hostname (= 0.4.1-2), rust-http (= 1.4.0-1), rust-http-body (= 1.0.1-1), rust-http-body-util (= 0.1.3-1), rust-httparse (= 1.10.1-1), rust-humantime (= 2.3.0-1), rust-humantime-serde (= 1.1.1-1), rust-hyper (= 1.8.1-1), rust-hyper-tls (= 0.6.0-1), rust-hyper-util (= 0.1.19-1), rust-iana-time-zone (= 0.1.64-1), rust-idna (= 1.1.0-1), rust-idna-adapter (= 1.1.0-1), rust-idna-mapping (= 1.0.0-1), rust-indexmap (= 2.14.0-1), rust-ipnet (= 2.12.0-1), rust-iri-string (= 0.7.0-1), rust-is-terminal-polyfill (= 1.70.1-1), rust-itertools (= 0.14.0-2), rust-itoa (= 1.0.18-1), rust-jiff (= 0.2.27-1), rust-libc (= 0.2.186-1), rust-libloading (= 0.8.9-1), rust-linux-raw-sys (= 0.12.1-1), rust-log (= 0.4.32-1), rust-memchr (= 2.8.0-1), rust-memmap2 (= 0.9.8-1), rust-memoffset (= 0.8.0-1), rust-miniz-oxide (= 0.9.1-2), rust-mio (= 1.2.0-1), rust-mount-watcher (= 0.5.0+20250707+ds-1), rust-native-tls (= 0.2.14-2), rust-nix (= 0.30.1-3), rust-nohash-hasher (= 0.2.0-1), rust-num-conv (= 0.2.0-1), rust-num-enum (= 0.7.6-1), rust-num-traits (= 0.2.19-2), rust-nvml-wrapper (= 0.11.0-1), rust-nvml-wrapper-sys (= 0.9.0-1), rust-once-cell (= 1.21.4-1), rust-openssl (= 0.10.79-1), rust-openssl-probe (= 0.1.2-1), rust-openssl-sys (= 0.9.115-1), rust-ordered-float (= 4.6.0-1), rust-percent-encoding (= 2.3.2-2), rust-perf-event2 (= 0.7.4+ds+~0.1.8+ds-3), rust-pin-project-lite (= 0.2.16-1), rust-pin-utils (= 0.1.0-1), rust-portable-atomic (= 1.10.0-3), rust-postcard (= 1.1.3-2), rust-powerfmt (= 0.2.0-1), rust-pretty-assertions (= 1.4.1-1), rust-procfs (= 0.17.0-4), rust-procfs-core (= 0.17.0-1), rust-regex (= 1.12.4-1), rust-regex-automata (= 0.4.13-1), rust-regex-syntax (= 0.8.11+dfsg-1), rust-reqwest-0.12 (= 0.12.28-4), rust-rlimit (= 0.8.3-1), rust-rustc-hash (= 2.1.2-2), rust-rustix (= 1.1.4+dfsg-1), rust-rustls-pki-types (= 1.14.1+ds-1), rust-ryu (= 1.0.22-1), rust-same-file (= 1.0.6-2), rust-serde (= 1.0.228-3), rust-serde-core (= 1.0.228-2), rust-serde-json (= 1.0.150-1), rust-serde-spanned (= 1.1.1-1), rust-serde-urlencoded (= 0.7.1-1), rust-signal-hook-registry (= 1.4.8-1), rust-simd-adler32 (= 0.3.9-1), rust-slab (= 0.4.12-1), rust-smallvec (= 1.15.2-1), rust-socket2 (= 0.6.4-1), rust-socket2-0.5 (= 0.5.10-1), rust-stable-deref-trait (= 1.2.1-1), rust-static-assertions (= 1.1.0-1), rust-strsim (= 0.11.1-1), rust-sync-wrapper (= 1.0.2-1), rust-thiserror (= 2.0.18-1), rust-thiserror-1 (= 1.0.69-1), rust-time (= 0.3.47-1), rust-time-core (= 0.1.8-1), rust-timerfd (= 1.5.0-3), rust-tinyvec (= 1.10.0-1), rust-tinyvec-macros (= 0.1.0-1), rust-tokio (= 1.52.3-2), rust-tokio-native-tls (= 0.3.1-4), rust-tokio-stream (= 0.1.18-2), rust-tokio-util (= 0.7.17-1), rust-toml (= 1.1.2-4), rust-toml-datetime (= 1.1.1-2), rust-toml-parser (= 1.1.2-2), rust-toml-writer (= 1.1.1-2), rust-tower (= 0.5.2-2), rust-tower-http (= 0.6.8-2), rust-tower-layer (= 0.3.3-1), rust-tower-service (= 0.3.3-1), rust-tracing (= 0.1.44-1), rust-tracing-core (= 0.1.36-1), rust-try-lock (= 0.2.5-1), rust-unicode-bidi (= 0.3.17-1), rust-unicode-joining-type (= 1.0.0-1), rust-unicode-normalization (= 0.1.25-1), rust-url (= 2.5.8-1), rust-utf8-iter (= 1.0.4-1), rust-utf8parse (= 0.2.2-1), rust-walkdir (= 2.5.0-2), rust-want (= 0.3.0-1), rust-winnow (= 0.7.13-1), rust-yansi (= 1.0.1-1), rust-zeroize (= 1.8.2-1), rust-zmij (= 1.0.21-1), rustc (= 1.95.0+dfsg1-2)
Section: utils
Priority: optional
Filename: pool/main/a/alumet/alumet_0.9.5+ds-1~draft1_amd64.deb
Size: 5134700
MD5sum: 59ad0c5c6c194c98ac047f924859ef0f
SHA256: d1297d4d88c0a2f95ee71472394737f6ecbd5acfcdbd63ceeadf3cde7477e1be

.
