48365,48381d
41717a

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
.
40169,40172c
Filename: pool/main/r/rocq-stdlib/libcoq-stdlib_9.1.0-1_amd64.deb
Size: 20075712
MD5sum: a8a175500c4ecda2c7d06ac4089273bf
SHA256: 5f3ccfd4cbd1c8732d50e89d8e723ab2d286a2ea98b172cd4c06478f937d648c
.
40162c
Provides: libcoq-stdlib-py9l3
.
40157,40159c
Source: rocq-stdlib
Version: 9.1.0-1
Installed-Size: 70705
.
36701a
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

.
33570a
Package: kde-style-oxygen-qt6
Source: oxygen
Version: 4:6.7.2-1
Installed-Size: 21210
Maintainer: Debian Qt/KDE Maintainers <debian-qt-kde@lists.debian.org>
Architecture: amd64
Replaces: kde-style-oxygen-qt5 (<< 4:6.1.0~), plasma-desktop-data (<< 4:5.20)
Depends: plasma-version-base-6.7, libc6 (>= 2.34), libkf6colorscheme6 (>= 6.0.0), libkf6completion6 (>= 6.26.0~), libkf6configcore6 (>= 6.26.0~), libkf6configgui6 (>= 6.26.0~), libkf6configwidgets6 (>= 6.0.0), libkf6coreaddons6 (>= 6.26.0~), libkf6guiaddons6 (>= 6.26.0~), libkf6i18n6 (>= 6.26.0~), libkf6kcmutils6 (>= 6.26.0~), libkf6kcmutilscore6 (>= 6.26.0~), libkf6style6 (>= 6.26.0~), libkf6widgetsaddons6 (>= 6.26.0~), libkf6windowsystem6 (>= 6.26.0~), liboxygenstyle6-6 (>= 4:6.7.2), liboxygenstyleconfig6-6 (>= 4:6.7.2), libqt6core6t64 (>= 6.10.2), libqt6dbus6 (>= 6.10.0~), libqt6gui6 (>= 6.10.0~), libqt6quick6 (>= 6.10.0~), libqt6widgets6 (>= 6.10.0~), libstdc++6 (>= 13.1), libxcb1, qt6-base-private-abi (= 6.10.2), qt6-declarative-private-abi (= 6.10.2)
Breaks: kde-style-oxygen-qt5 (<< 4:6.1.0~), plasma-desktop-data (<< 4:5.20)
Description: Qt 6 decoration for the Oxygen desktop theme
Homepage: https://invent.kde.org/plasma/oxygen
Description-md5: 20b932e0a9e746ae01883e50975a8fba
Section: kde
Priority: optional
Filename: pool/main/o/oxygen/kde-style-oxygen-qt6_6.7.2-1_amd64.deb
Size: 1390220
MD5sum: a59f68a18b1b57714e6809789c5ce119
SHA256: de12c4628d6169274f9389d8cd8f5dc3dfa0ca7e967a2bf9fca75821dcf36d04

Package: kwin-decoration-oxygen
Source: oxygen
Version: 4:6.7.2-1
Installed-Size: 729
Maintainer: Debian Qt/KDE Maintainers <debian-qt-kde@lists.debian.org>
Architecture: amd64
Depends: plasma-version-base-6.7, libc6 (>= 2.32), libkdecorations3-6 (>= 4:6.2.90), libkf6colorscheme6 (>= 6.0.0), libkf6configcore6 (>= 6.26.0~), libkf6configgui6 (>= 6.26.0~), libkf6coreaddons6 (>= 6.26.0~), libkf6guiaddons6 (>= 6.26.0~), libkf6i18n6 (>= 6.26.0~), libkf6kcmutils6 (>= 6.26.0~), libkf6kcmutilscore6 (>= 6.26.0~), libkf6windowsystem6 (>= 6.26.0~), liboxygenstyle6-6 (>= 4:6.7.2), liboxygenstyleconfig6-6 (>= 4:6.7.2), libqt6core6t64 (>= 6.10.2), libqt6dbus6 (>= 6.10.0~), libqt6gui6 (>= 6.10.0~), libqt6widgets6 (>= 6.10.0~), libstdc++6 (>= 5), libxcb1, qt6-base-private-abi (= 6.10.2)
Recommends: libkf6kcmutils-bin
Description: KWin decoration for the Oxygen desktop theme
Multi-Arch: same
Homepage: https://invent.kde.org/plasma/oxygen
Description-md5: 0f2d780b285372a292d82d4eff036ae0
Tag: uitoolkit::qt
Section: kde
Priority: optional
Filename: pool/main/o/oxygen/kwin-decoration-oxygen_6.7.2-1_amd64.deb
Size: 131200
MD5sum: 3d61d1a8b1bda982673189ebb9c6655f
SHA256: 277ea4f7fb9f59a874dc4a5a8e13dba14f96a71176263252feb75058d8ae3840

Package: liboxygenstyle6-6
Source: oxygen
Version: 4:6.7.2-1
Installed-Size: 163
Maintainer: Debian Qt/KDE Maintainers <debian-qt-kde@lists.debian.org>
Architecture: amd64
Depends: plasma-version-base-6.7, libc6 (>= 2.29), libkf6colorscheme6 (>= 6.0.0), libkf6configcore6 (>= 6.26.0~), libkf6configgui6 (>= 6.26.0~), libkf6guiaddons6 (>= 6.26.0~), libkf6windowsystem6 (>= 6.26.0~), libqt6core6t64 (>= 6.10.2), libqt6gui6 (>= 6.10.0~), libqt6widgets6 (>= 6.10.0~), libstdc++6 (>= 5), libxcb1, qt6-base-private-abi (= 6.10.2)
Description: style library for the Oxygen desktop theme (Qt 6)
Multi-Arch: same
Homepage: https://invent.kde.org/plasma/oxygen
Description-md5: 6f3a7ff2ba698039757c1475d1b52521
Section: libs
Priority: optional
Filename: pool/main/o/oxygen/liboxygenstyle6-6_6.7.2-1_amd64.deb
Size: 46112
MD5sum: cf578682bc4207b32145c4b871fc9dd1
SHA256: a5a69813506a0fa07551f8bf7d980fbba20e5da81e07be7ab0c0ba7046c1e2d4

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

Package: liboxygenstyleconfig6-6
Source: oxygen
Version: 4:6.7.2-1
Installed-Size: 107
Maintainer: Debian Qt/KDE Maintainers <debian-qt-kde@lists.debian.org>
Architecture: amd64
Depends: liboxygenstyleconfig-data (= 4:6.7.2-1), plasma-version-base-6.7, libc6 (>= 2.4), libkf6configcore6 (>= 6.26.0~), libkf6configgui6 (>= 6.26.0~), libkf6i18n6 (>= 6.26.0~), libkf6widgetsaddons6 (>= 6.26.0~), libqt6core6t64 (>= 6.10.2), libqt6gui6 (>= 6.10.0~), libqt6widgets6 (>= 6.10.0~), libstdc++6 (>= 5)
Description: style library configuration for the Oxygen desktop theme (Qt 6)
Multi-Arch: same
Homepage: https://invent.kde.org/plasma/oxygen
Description-md5: e1465a44f7f4cd61c4dcc91bd35e98a6
Section: libs
Priority: optional
Filename: pool/main/o/oxygen/liboxygenstyleconfig6-6_6.7.2-1_amd64.deb
Size: 23632
MD5sum: 15ba4fa3aca5f2e73648e6fef3ad7ced
SHA256: 68492c10477bd4bcda3888ad66c5d3f203a2415a41be15686f21dfa75d3a32a9

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

Package: plasma-theme-oxygen
Source: oxygen
Version: 4:6.7.2-1
Installed-Size: 7022
Maintainer: Debian Qt/KDE Maintainers <debian-qt-kde@lists.debian.org>
Architecture: amd64
Replaces: plasma-framework (<< 5.115.0-6~)
Depends: kde-style-oxygen-qt6 (= 4:6.7.2-1), kwin-decoration-oxygen (= 4:6.7.2-1), oxygen-sounds, oxygen-wallpapers, qml6-module-qtquick, plasma-version-base-6.7
Breaks: plasma-framework (<< 5.115.0-6~)
Description: Look-and-feel for the Oxygen desktop theme
Homepage: https://invent.kde.org/plasma/oxygen
Description-md5: d62c5e224e9bac9ffc6375a49269dc78
Section: kde
Priority: optional
Filename: pool/main/o/oxygen/plasma-theme-oxygen_6.7.2-1_amd64.deb
Size: 5365020
MD5sum: ce1b4577bd523c0db70bd21aa17c121e
SHA256: d12c33d289a83dee4981ce3fb5c1eac140ac4082603f9f3e1146fb0fa0d778b4

.
33531,33534c
Filename: pool/main/o/ott/ott-tools_0.34+ds-4_amd64.deb
Size: 1509568
MD5sum: 3fae082e8cac3b05b91df6df03d2fd83
SHA256: 623ea1415b4db5af56178c0d1aea33d4bf990b30727f14173288c1695e85f01a
.
33520,33522c
Source: ott
Version: 0.34+ds-4
Installed-Size: 6224
.
33514,33517c
Filename: pool/main/o/ott/libcoq-ott_0.34+ds-4_amd64.deb
Size: 164216
MD5sum: 8b053fff1259146ad530297b15a00390
SHA256: f06d1d15fa421cff6c65920ce71163dd18b006a6d141ccb11fb2820d0b4d2005
.
33507,33508c
Provides: libcoq-ott-whi68
Depends: libcoq-stdlib-py9l3
.
33502,33504c
Source: ott
Version: 0.34+ds-4
Installed-Size: 537
.
31473a
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

.
29860,29943d
25191a
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

.
15446,15449c
Filename: pool/main/i/icann-rdap-common/librust-icann-rdap-common-dev_0.0.30-2_amd64.deb
Size: 110464
MD5sum: 9aaa09c26147f5c221d8e210259cd9fe
SHA256: 0c7d7eab6cf30dd2a2c49c8e13ba810be7a095187048dc3c69e87517d38bdddb
.
15438,15439c
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
.
15434c
Version: 0.0.30-2
.
15408,15411c
Filename: pool/main/i/icann-rdap-cli/librust-icann-rdap-cli-dev_0.0.30-2_amd64.deb
Size: 44544
MD5sum: 21e970049977b429d3574eeacae21f23
SHA256: 29f34d4dbdaf11a914899976f9ccdfff82ea5a9842a6e5911bceaaf3f328cc37
.
15400,15401c
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)
.
15396c
Version: 0.0.30-2
.
15389,15392c
Filename: pool/main/i/icann-rdap-cli/icann-rdap-cli_0.0.30-2_amd64.deb
Size: 6149912
MD5sum: eb31cd80094274ded7a6d592a2e485b1
SHA256: 324f37cd93e91c47f1f081a247ac0bb94336cc418cae64b3669be9f27ba0c159
.
15386c
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)
.
15375,15376c
Version: 0.0.30-2
Installed-Size: 21004
.
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
.
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
.
5675,5713d
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
.
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
.
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
.
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
.
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

.
