48610,48626d
41760a

Package: librust-prefix-trie-dev
Source: rust-prefix-trie
Version: 0.9.3-1
Installed-Size: 946
Maintainer: Daniel Baumann <daniel@debian.org>
Architecture: amd64
Provides: librust-prefix-trie+cidr-dev (= 0.9.3-1), librust-prefix-trie+default-dev (= 0.9.3-1), librust-prefix-trie+ipnet-dev (= 0.9.3-1), librust-prefix-trie+ipnetwork-dev (= 0.9.3-1), librust-prefix-trie+serde-dev (= 0.9.3-1), librust-prefix-trie-0+cidr-dev (= 0.9.3-1), librust-prefix-trie-0+default-dev (= 0.9.3-1), librust-prefix-trie-0+ipnet-dev (= 0.9.3-1), librust-prefix-trie-0+ipnetwork-dev (= 0.9.3-1), librust-prefix-trie-0+serde-dev (= 0.9.3-1), librust-prefix-trie-0-dev (= 0.9.3-1), librust-prefix-trie-0.9+cidr-dev (= 0.9.3-1), librust-prefix-trie-0.9+default-dev (= 0.9.3-1), librust-prefix-trie-0.9+ipnet-dev (= 0.9.3-1), librust-prefix-trie-0.9+ipnetwork-dev (= 0.9.3-1), librust-prefix-trie-0.9+serde-dev (= 0.9.3-1), librust-prefix-trie-0.9-dev (= 0.9.3-1), librust-prefix-trie-0.9.3+cidr-dev (= 0.9.3-1), librust-prefix-trie-0.9.3+default-dev (= 0.9.3-1), librust-prefix-trie-0.9.3+ipnet-dev (= 0.9.3-1), librust-prefix-trie-0.9.3+ipnetwork-dev (= 0.9.3-1), librust-prefix-trie-0.9.3+serde-dev (= 0.9.3-1), librust-prefix-trie-0.9.3-dev (= 0.9.3-1)
Depends: librust-array-const-fn-init-0.1+default-dev (>= 0.1.1), librust-cidr-0.3+default-dev, librust-cidr-0.3+serde-dev, librust-either-1+default-dev, librust-ipnet-2+default-dev, librust-ipnet-2+serde-dev, librust-ipnetwork+default-dev (<< 0.22.0), librust-ipnetwork+default-dev (>= 0.16.0), librust-ipnetwork+serde-dev (<< 0.22.0), librust-ipnetwork+serde-dev (>= 0.16.0), librust-num-traits-0.2+default-dev (>= 0.2.14), librust-serde-1+default-dev, librust-smallvec-1+default-dev (>= 1.15.2)
Breaks: rustc (<< 1.71.1~)
Description: Prefix trie (tree) datastructure (both a set and a map) that provides exact and longest-prefix matches - Rust source code
Multi-Arch: same
Homepage: https://github.com/tiborschneider/prefix-trie
Description-md5: e42a9bb294fe887f5af8170cb7120c90
Section: rust
Priority: optional
Filename: pool/main/r/rust-prefix-trie/librust-prefix-trie-dev_0.9.3-1_amd64.deb
Size: 121152
MD5sum: 4fa42c9e13cd59eb3c62f7a832b07d03
SHA256: 6f337162f32d349aa880ca4c4f53a5930b4103c3d03f3936c549c8b30177a583
.
39335,39338c
Filename: pool/main/r/rccl/librccl1-tests_7.2.4-1~exp2_amd64.deb
Size: 401856
MD5sum: cbc1df23a4e52db69b4a3f9426a8f3f8
SHA256: 566de3c275b6b54252172ef78b21e184422db73d6c8a515c19b301dcb335765e
.
39328c
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)
.
39324c
Version: 7.2.4-1~exp2
.
39317,39320c
Filename: pool/main/r/rccl/librccl1_7.2.4-1~exp2_amd64.deb
Size: 369264020
MD5sum: e9097cacda6430c2382ac7f82f4819c5
SHA256: 9db7a7c6558db783da391993db859865443d7649f55d814c8efd13091c7b01bd
.
39306,39307c
Version: 7.2.4-1~exp2
Installed-Size: 370076
.
39281,39302c
Filename: pool/main/r/rccl/librccl-dev_7.2.4-1~exp2_amd64.deb
Size: 26260
MD5sum: 88ecdad235f67112a20d92f421f6105c
SHA256: 3b5ef3d7d2356baaf510b575801269f1d661969078d8ef109031c9defe02149b
.
39274c
Depends: librccl1 (= 7.2.4-1~exp2), libamdhip64-dev
.
39270c
Version: 7.2.4-1~exp2
.
36744a
Package: plantuml
Version: 1:1.2026.2+ds-2
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-2_all.deb
Size: 27568612
MD5sum: 8dc746a3afb31bf033b6a43f96033cb1
SHA256: 884be13345bcc499c58d9e758383d24eb9d9e1e0db06444641ff3b340f4675c2

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

.
33442,33445c
Filename: pool/main/o/ott/ott-tools_0.34+ds-4_amd64.deb
Size: 1509568
MD5sum: 3fae082e8cac3b05b91df6df03d2fd83
SHA256: 623ea1415b4db5af56178c0d1aea33d4bf990b30727f14173288c1695e85f01a
.
33431,33433c
Source: ott
Version: 0.34+ds-4
Installed-Size: 6224
.
33425,33428c
Filename: pool/main/o/ott/libcoq-ott_0.34+ds-4_amd64.deb
Size: 164216
MD5sum: 8b053fff1259146ad530297b15a00390
SHA256: f06d1d15fa421cff6c65920ce71163dd18b006a6d141ccb11fb2820d0b4d2005
.
33418,33419c
Provides: libcoq-ott-whi68
Depends: libcoq-stdlib-py9l3
.
33413,33415c
Source: ott
Version: 0.34+ds-4
Installed-Size: 537
.
31609,31627d
31384a
Package: node-dedent
Version: 1.7.2-1
Installed-Size: 37
Maintainer: Debian Javascript Maintainers <pkg-javascript-devel@lists.alioth.debian.org>
Architecture: all
Description: FIX_ME write the Debian package description
Homepage: https://github.com/dmnd/dedent
Description-md5: ea2d3279acb31b5e56d1627d5bbe34e8
Section: javascript
Priority: optional
Filename: pool/main/n/node-dedent/node-dedent_1.7.2-1_all.deb
Size: 9976
MD5sum: 5b6479026d2da2d3fc650b708f60332d
SHA256: c592b941e5e4a22a3bea5b611fa97eef4f9d9b06480eecfff0ea6e82bc6678b2

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

.
15441,15444c
Filename: pool/main/i/icann-rdap-common/librust-icann-rdap-common-dev_0.0.30-2_amd64.deb
Size: 110464
MD5sum: 9aaa09c26147f5c221d8e210259cd9fe
SHA256: 0c7d7eab6cf30dd2a2c49c8e13ba810be7a095187048dc3c69e87517d38bdddb
.
15433,15434c
Provides: librust-icann-rdap-common+default-dev (= 0.0.30-2), librust-icann-rdap-common-0+default-dev (= 0.0.30-2), librust-icann-rdap-common-0-dev (= 0.0.30-2), librust-icann-rdap-common-0.0+default-dev (= 0.0.30-2), librust-icann-rdap-common-0.0-dev (= 0.0.30-2), librust-icann-rdap-common-0.0.29+default-dev (= 0.0.30-2), librust-icann-rdap-common-0.0.29-dev (= 0.0.30-2)
Depends: librust-buildstructor-0.6+default-dev, librust-chrono-0.4+alloc-dev, librust-chrono-0.4+clock-dev, librust-chrono-0.4+serde-dev, librust-chrono-0.4+std-dev, librust-cidr-0.3+default-dev, librust-const-format-0.2+default-dev, librust-idna-1+default-dev (>= 1.1), librust-ipnet-2+default-dev (>= 2.11), librust-ipnet-2+json-dev (>= 2.11), librust-prefix-trie-0.9+default-dev (>= 0.9.3), librust-serde-1+default-dev, librust-serde-1+derive-dev, librust-serde-json-1+default-dev, librust-strum-0.26+default-dev, librust-strum-macros-0.26+default-dev, librust-thiserror-1+default-dev
.
15429c
Version: 0.0.30-2
.
15403,15406c
Filename: pool/main/i/icann-rdap-cli/librust-icann-rdap-cli-dev_0.0.30-2_amd64.deb
Size: 44544
MD5sum: 21e970049977b429d3574eeacae21f23
SHA256: 29f34d4dbdaf11a914899976f9ccdfff82ea5a9842a6e5911bceaaf3f328cc37
.
15395,15396c
Provides: librust-icann-rdap-cli+default-dev (= 0.0.30-2), librust-icann-rdap-cli-0+default-dev (= 0.0.30-2), librust-icann-rdap-cli-0-dev (= 0.0.30-2), librust-icann-rdap-cli-0.0+default-dev (= 0.0.30-2), librust-icann-rdap-cli-0.0-dev (= 0.0.30-2), librust-icann-rdap-cli-0.0.29+default-dev (= 0.0.30-2), librust-icann-rdap-cli-0.0.29-dev (= 0.0.30-2)
Depends: librust-anyhow-1+default-dev, librust-chrono-0.4+alloc-dev, librust-chrono-0.4+clock-dev, librust-chrono-0.4+serde-dev, librust-chrono-0.4+std-dev, librust-clap-4+default-dev (>= 4.6), librust-clap-4+derive-dev (>= 4.6), librust-clap-4+env-dev (>= 4.6), librust-clap-4+std-dev (>= 4.6), librust-clap-4+unstable-styles-dev (>= 4.6), librust-const-format-0.2+default-dev, librust-directories-6+default-dev, librust-dotenvy-0.15+default-dev, librust-enumflags2-0.7+default-dev, librust-hickory-client-0.25+default-dev, librust-icann-rdap-client-0.0+default-dev (<< 0.0.31), librust-icann-rdap-client-0.0+default-dev (>= 0.0.30), librust-icann-rdap-common-0.0+default-dev (<< 0.0.31), librust-icann-rdap-common-0.0+default-dev (>= 0.0.30), librust-json-pretty-compact-0.1+default-dev (>= 0.1.2), librust-minus-5+default-dev (>= 5.6), librust-minus-5+dynamic-output-dev (>= 5.6), librust-minus-5+search-dev (>= 5.6), librust-pct-str-3+default-dev, librust-prefix-trie-0.9+default-dev (>= 0.9.3), librust-reqwest-0.13+default-dev, librust-reqwest-0.13+json-dev, librust-reqwest-0.13+native-tls-dev, librust-reqwest-0.13+stream-dev, librust-serde-1+default-dev, librust-serde-1+derive-dev, librust-serde-json-1+default-dev, librust-strum-0.26+default-dev, librust-strum-macros-0.26+default-dev, librust-termimad-0.34+default-dev, librust-thiserror-1+default-dev, librust-tokio-1+default-dev (>= 1.50), librust-tokio-1+full-dev (>= 1.50), librust-tracing-0.1+default-dev, librust-tracing-subscriber-0.3+default-dev, librust-tracing-subscriber-0.3+env-filter-dev, librust-url-2+default-dev (>= 2.5)
.
15391c
Version: 0.0.30-2
.
15384,15387c
Filename: pool/main/i/icann-rdap-cli/icann-rdap-cli_0.0.30-2_amd64.deb
Size: 6149912
MD5sum: eb31cd80094274ded7a6d592a2e485b1
SHA256: 324f37cd93e91c47f1f081a247ac0bb94336cc418cae64b3669be9f27ba0c159
.
15381c
Static-Built-Using: icann-rdap-client (= 0.0.30-1), icann-rdap-common (= 0.0.30-2), rust-aho-corasick (= 1.1.4-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-bytes (= 1.11.1-1), rust-cfg-if (= 1.0.4-1), rust-chrono (= 0.4.45-1), rust-cidr (= 0.3.2-2), rust-clap (= 4.6.1-1), rust-clap-builder (= 4.6.0-1), rust-clap-lex (= 1.1.0-1), rust-colorchoice (= 1.0.0-1), rust-const-format (= 0.2.34-1), rust-coolor (= 1.1.0-3), rust-critical-section (= 1.2.0-1), rust-crokey (= 1.3.0-1), rust-crossbeam (= 0.8.4-1), rust-crossbeam-channel (= 0.5.15-1), rust-crossbeam-deque (= 0.8.6-1), rust-crossbeam-epoch (= 0.9.18-1), rust-crossbeam-queue (= 0.3.11-1), rust-crossbeam-utils (= 0.8.21-1), rust-crossterm (= 0.29.0-2), rust-data-encoding (= 2.11.0-1), rust-derive-more (= 1.0.0-2), rust-directories (= 6.0.0-2), rust-dirs-sys (= 0.5.0-2), rust-dotenvy (= 0.15.7-1), rust-dyn-clone (= 1.0.20-1), rust-either (= 1.15.0-1), rust-encoding-rs (= 0.8.35-1), rust-endian-type (= 0.1.2-2), rust-enumflags2 (= 0.7.12-1), rust-equivalent (= 1.0.1-1), rust-errno (= 0.3.14-1), 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-channel (= 0.3.32-1), rust-futures-core (= 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-getrandom (= 0.4.2-3), rust-h2 (= 0.4.13-1), rust-hashbrown (= 0.16.1-2), rust-hickory-client (= 0.25.2-2), rust-hickory-proto (= 0.25.2-3), 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-hyper (= 1.8.1-1), rust-hyper-rustls (= 0.27.9+ds-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-itoa (= 1.0.18-1), rust-json-pretty-compact (= 0.1.2-2), rust-jsonpath-lib (= 0.3.0+dfsg-2), rust-jsonpath-rust (= 1.0.4-2), rust-lazy-regex (= 3.4.2+20251114-1), rust-lazy-static (= 1.5.0-3), rust-libc (= 0.2.186-1), rust-linux-raw-sys (= 0.12.1-1), rust-lock-api (= 0.4.14-1), rust-log (= 0.4.32-1), rust-matchers (= 0.2.0-1), rust-memchr (= 2.8.0-1), rust-mime (= 0.3.17-1), rust-minimad (= 0.14.0-1), rust-minus (= 5.6.1-3), rust-mio (= 1.2.0-1), rust-native-tls (= 0.2.14-2), rust-nibble-vec (= 0.1.0-1), rust-nu-ansi-term (= 0.50.1-1), rust-num-traits (= 0.2.19-2), 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-option-ext (= 0.2.0-1), rust-parking-lot (= 0.12.5-1), rust-parking-lot-core (= 0.9.12-1), rust-pct-str (= 3.0.1-2), rust-percent-encoding (= 2.3.2-2), rust-pest (= 2.8.6-1), rust-pin-project-lite (= 0.2.16-1), rust-pin-utils (= 0.1.0-1), rust-portable-atomic (= 1.10.0-3), rust-ppv-lite86 (= 0.2.21-2), rust-prefix-trie (= 0.9.3-1), rust-radix-trie (= 0.2.1-1), rust-rand (= 0.10.1+dfsg-1), rust-rand-chacha (= 0.10.0-2), rust-rand-core (= 0.10.0-2), rust-ref-cast (= 1.0.25-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.13.2-3), rust-ring (= 0.17.14-5), rust-rustix (= 1.1.4+dfsg-1), rust-rustls (= 0.23.41+ds-1), rust-rustls-native-certs (= 0.8.4+ds-1), rust-rustls-pki-types (= 1.14.1+ds-1), rust-rustls-platform-verifier (= 0.6.2-1), rust-rustls-webpki (= 0.103.13+ds-1), rust-schemars (= 1.2.1-3), rust-scopeguard (= 1.2.0-1), rust-serde (= 1.0.228-3), rust-serde-core (= 1.0.228-2), rust-serde-json (= 1.0.150-1), rust-sharded-slab (= 0.1.4-2), rust-signal-hook (= 0.3.18-1), rust-signal-hook-mio (= 0.2.5-1), rust-signal-hook-registry (= 1.4.8-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-strict (= 0.2.0-1), rust-strsim (= 0.11.1-1), rust-strum (= 0.26.3-2), rust-subtle (= 2.6.1-1), rust-sync-wrapper (= 1.0.2-1), rust-termimad (= 0.34.1-1), rust-textwrap (= 0.16.2-1), rust-thiserror (= 2.0.18-1), rust-thiserror-1 (= 1.0.69-1), rust-thread-local (= 1.1.4-1), 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-rustls (= 0.26.4-1), rust-tokio-util (= 0.7.17-1), 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-tracing-log (= 0.2.0-3), rust-tracing-subscriber (= 0.3.22-3), rust-try-lock (= 0.2.5-1), rust-ucd-trie (= 0.1.7-1), rust-unicode-bidi (= 0.3.17-1), rust-unicode-joining-type (= 1.0.0-1), rust-unicode-normalization (= 0.1.25-1), rust-unicode-width (= 0.2.2-1), rust-unicode-width-0.1 (= 0.1.14-2), rust-untrusted (= 0.9.0-2), rust-url (= 2.5.8-1), rust-utf8-decode (= 2.0.0-3), rust-utf8-iter (= 1.0.4-1), rust-utf8parse (= 0.2.2-1), rust-want (= 0.3.0-1), rust-zerocopy (= 0.8.26-4), rust-zeroize (= 1.8.2-1), rust-zmij (= 1.0.21-1), rustc (= 1.95.0+dfsg1-2)
.
15370,15371c
Version: 0.0.30-2
Installed-Size: 21004
.
6855,6858c
Filename: pool/main/f/flocq/libcoq-flocq_4.2.2-1_amd64.deb
Size: 3466044
MD5sum: e5994484af431642dba424d61c318597
SHA256: 9880c651e870bc39e635d4751177e6007efa3737a3fc273581fa380b44195935
.
6848,6849c
Provides: libcoq-flocq-qa0a1
Depends: libcoq-stdlib-py9l3
.
6843,6845c
Source: flocq
Version: 4.2.2-1
Installed-Size: 9252
.
3492,3495c
Filename: pool/main/c/coqprime/libcoq-coqprime_8.20.1-4_amd64.deb
Size: 1770148
MD5sum: 07005a9821aa7f50f4f9909908c1eeab
SHA256: d899663e203ffc32380d32cfedcea44e583d600afa1ed180201a305a346aa69f
.
3485,3486c
Provides: libcoq-coqprime-l9ff6
Depends: libcoq-bignums-rb1v5, libcoq-stdlib-py9l3
.
3480,3482c
Source: coqprime
Version: 8.20.1-4
Installed-Size: 5606
.
3474,3477c
Filename: pool/main/c/coqprime/coqprime-tools_8.20.1-4_amd64.deb
Size: 145352
MD5sum: 29b9400fdaf2f6f5adcdc14dd786e6a7
SHA256: 62be4c585eae30daec5fb8413aeefd3f7dee5e4e6c513922825ac2cf4934c704
.
3468c
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)
.
3463,3465c
Source: coqprime
Version: 8.20.1-4
Installed-Size: 843
.
3439,3442c
Filename: pool/main/c/coq-unimath/libcoq-unimath_20260603-1_amd64.deb
Size: 58603276
MD5sum: e8d54c7481451bfe3ebf29808c8b3083
SHA256: 59d6dd828fb23931d0252e7805827346d18938d6da1c6423e10c8d38b997dd36
.
3432,3433c
Provides: libcoq-unimath-vptd3
Depends: libcoq-stdlib-py9l3
.
3427,3429c
Source: coq-unimath
Version: 20260603-1
Installed-Size: 253164
.
3421,3424c
Filename: pool/main/c/coq-unicoq/libcoq-unicoq_1.6-9.1-1_amd64.deb
Size: 86064
MD5sum: bbea8b25b0a3de93f0e5cf0e1e7c2e9a
SHA256: 03f271af6ef948c6a3d96c822fdfc1c1f58d4a8f0c601e0097cd81a9efc708dc
.
3414,3415c
Provides: libcoq-unicoq-2ncl2
Depends: libcoq-stdlib-py9l3
.
3409,3411c
Source: coq-unicoq
Version: 1.6-9.1-1
Installed-Size: 342
.
3403,3406c
Filename: pool/main/c/coq-stdpp/libcoq-stdpp_1.13.0-1_amd64.deb
Size: 5282608
MD5sum: ada04d95ac018ff648289c680cfd0842
SHA256: de0446ca94559c7c1655f3d80817ca7159bf35204c0766b5093588ffde23e11c
.
3396,3397c
Provides: libcoq-stdpp-25jn9
Depends: libcoq-stdlib-py9l3
.
3391,3393c
Source: coq-stdpp
Version: 1.13.0-1
Installed-Size: 16768
.
3313,3316c
Filename: pool/main/c/coq-record-update/libcoq-record-update_0.3.7-1_amd64.deb
Size: 19144
MD5sum: 10c2fd894d18444b3e41ece12a3b0a02
SHA256: b238bb176cdc079b281b788f6ff0dd0db4d32f017566ee25561f58bd4e984b08
.
3306,3307c
Provides: libcoq-record-update-y9my0
Depends: libcoq-stdlib-py9l3
.
3301,3303c
Source: coq-record-update
Version: 0.3.7-1
Installed-Size: 69
.
3242,3245c
Filename: pool/main/c/coq-menhirlib/libcoq-menhirlib_20260209+ds-1_amd64.deb
Size: 915312
MD5sum: 8aef166ed959f1d7baae595903dc2830
SHA256: 69696d64d7a44674c57165cbca2aca44066aee9de52d48312e6b7857d7c222a3
.
3235,3236c
Provides: libcoq-menhirlib-e9at4
Depends: libcoq-stdlib-py9l3
.
3230,3232c
Source: coq-menhirlib
Version: 20260209+ds-1
Installed-Size: 2700
.
3206,3209c
Filename: pool/main/c/coq-libhyps/libcoq-libhyps_5.0.0-1_amd64.deb
Size: 79156
MD5sum: b12f24b23d96db70f50485275ac0686a
SHA256: f0c9056ad218affd60480e0f3f5b620a18584217c6dbc25e6be1efd0bf8d17b8
.
3199,3200c
Provides: libcoq-libhyps-89nr2
Depends: libcoq-stdlib-py9l3
.
3194,3196c
Source: coq-libhyps
Version: 5.0.0-1
Installed-Size: 377
.
3188,3191c
Filename: pool/main/c/coq-iris/libcoq-iris_4.5.0-1_amd64.deb
Size: 13242860
MD5sum: 821357bd8d4ac5bbd76aab2ed2094206
SHA256: 6ca3932b9d6e17ea00fefa8a5401011ff121b1a233eb335db8a72f621ae77311
.
3181,3182c
Provides: libcoq-iris-avtd6
Depends: libcoq-stdpp-25jn9
.
3177,3178c
Version: 4.5.0-1
Installed-Size: 38873
.
3152,3155c
Filename: pool/main/c/coq-hott/libcoq-hott_9.1-1_amd64.deb
Size: 15126448
MD5sum: 62e7be8df7ab7021ce23337dc450e204
SHA256: 38815fe64f8134750e86388b49978da2cbff621564c718c32c559f2f0c20c8e3
.
3145,3146c
Provides: libcoq-hott-nybv9
Depends: libcoq-stdlib-py9l3
.
3140,3142c
Source: coq-hott
Version: 9.1-1
Installed-Size: 60225
.
3134,3137c
Filename: pool/main/c/coq-hierarchy-builder/libcoq-hierarchy-builder_1.10.3-1_amd64.deb
Size: 802208
MD5sum: 19d35d1a8c1becf4949f381099874951
SHA256: c15f2a517967142071af751e78cabe6bbb0be5c320f35837aef0588a38363ec2
.
3126,3127c
Provides: libcoq-hierarchy-builder-a2ma2
Depends: libcoq-elpi-t41j6
.
3121,3123c
Source: coq-hierarchy-builder
Version: 1.10.3-1
Installed-Size: 2321
.
3115,3118c
Filename: pool/main/c/coq-hammer/libcoq-hammer_1.3.3+9.2-1_amd64.deb
Size: 516536
MD5sum: 57e7c0c77994c70db699c7405e2cabfd
SHA256: d1e8c88ce693fc66a972d6389a6de55a93e1c59dd1d5e8db8d68b5a18a063e43
.
3108,3109c
Provides: libcoq-hammer-s2vw3
Depends: libcoq-stdlib-py9l3, libc6 (>= 2.38), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1)
.
3103,3105c
Source: coq-hammer
Version: 1.3.3+9.2-1
Installed-Size: 2428
.
3097,3100c
Filename: pool/main/c/coq-gappa/libcoq-gappa_1.10.0-1_amd64.deb
Size: 607828
MD5sum: 1329c26c6d7da77693f7421669e71a7b
SHA256: d862b7cd15c2b5ee21033dfe6bf4a1f43ab2b944ebbe90ccd748e6d41c318acb
.
3090,3091c
Provides: libcoq-gappa-cxvl7
Depends: gappa, libcoq-flocq-qa0a1, libcoq-stdlib-py9l3
.
3085,3087c
Source: coq-gappa
Version: 1.10.0-1
Installed-Size: 1498
.
3047a
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

.
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

.
