34488,34515d
31519a

Package: rust-prefix-trie
Binary: librust-prefix-trie-dev
Version: 0.9.3-1
Maintainer: Daniel Baumann <daniel@debian.org>
Build-Depends: debhelper-compat (= 13), dh-sequence-cargo
Architecture: any
Standards-Version: 4.7.4
Format: 3.0 (quilt)
Files:
 fb91dc2ab19de9a57a4baf2e7b30c31a 2252 rust-prefix-trie_0.9.3-1.dsc
 c30b61cba938e3288b15b04da77b2413 127644 rust-prefix-trie_0.9.3.orig.tar.xz
 9e85a604fe18c4c219364224ef245cae 3184 rust-prefix-trie_0.9.3-1.debian.tar.xz
Vcs-Browser: https://forgejo.debian.net/rust/rust-prefix-trie
Vcs-Git: https://forgejo.debian.net/rust/rust-prefix-trie
Checksums-Sha256:
 646520b7df452149e993e9e8f055107cdd66e4eb03c3f9ee761bad462ce5a513 2252 rust-prefix-trie_0.9.3-1.dsc
 5ef6d0973d827026ef1e7567a900903095ea8fb98adc624b1bb924ab53cb85ac 127644 rust-prefix-trie_0.9.3.orig.tar.xz
 1253b157d1855fa702f2fb9d6d9f2f33f2477432284c75c88ca6d35210428f8f 3184 rust-prefix-trie_0.9.3-1.debian.tar.xz
Homepage: https://github.com/tiborschneider/prefix-trie
Build-Depends-Arch: cargo:native <!nocheck>, librust-array-const-fn-init-0.1+default-dev (>= 0.1.1) <!nocheck>, librust-either-1+default-dev <!nocheck>, librust-ipnet-2+default-dev <!nocheck>, librust-num-traits-0.2+default-dev (>= 0.2.14) <!nocheck>, librust-smallvec-1+default-dev (>= 1.15.2) <!nocheck>, libstd-rust-dev <!nocheck>, rustc:native (>= 1.71.1) <!nocheck>
Package-List: 
 librust-prefix-trie-dev deb rust optional arch=any
Testsuite: autopkgtest
Testsuite-Triggers: dh-cargo, librust-criterion-0.8+default-dev, librust-criterion-0.8+html-reports-dev, librust-generic-tests-0.1+default-dev, librust-ip-network-table-deps-treebitmap-0.5+default-dev, librust-itertools-0.14+default-dev, librust-parquet-58.3+zstd-dev, librust-pprof-0.14+default-dev, librust-pprof-0.14+flamegraph-dev, librust-pretty-assertions-1+default-dev, librust-quickcheck-1+default-dev, librust-rand-0.8+default-dev, librust-rangemap-1+default-dev, librust-serde-json-1+default-dev, rustc
Directory: pool/main/r/rust-prefix-trie
Priority: optional
Section: rust
.
29895a
Package: rocq-stdlib
Binary: libcoq-stdlib
Version: 9.1.0-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, ocaml, ocaml-dune
Architecture: any
Standards-Version: 4.7.4
Format: 3.0 (quilt)
Files:
 aa1cf3b83a3fa15b4a90318ad7b5b6fb 2017 rocq-stdlib_9.1.0-1.dsc
 a8b0043d624e8bb44d46d22e741f329c 1864765 rocq-stdlib_9.1.0.orig.tar.gz
 21273f7cb12cb6c99bb867aa72a0deea 2360 rocq-stdlib_9.1.0-1.debian.tar.xz
Vcs-Browser: https://salsa.debian.org/ocaml-team/rocq-stdlib
Vcs-Git: https://salsa.debian.org/ocaml-team/rocq-stdlib.git
Checksums-Sha256:
 2f395a148864c3caa75bef9eb9726ea7b4aeb7e6337be2155fede6340d2b644a 2017 rocq-stdlib_9.1.0-1.dsc
 4ddeaa7ebb580780d34f655834ef6c0daa64a2b07f930056976866862fb1f76f 1864765 rocq-stdlib_9.1.0.orig.tar.gz
 3fd20efa7ec6e5efa7e69fa0a79acdcd9fd34ef36d02bb0833eb688387e7f9ef 2360 rocq-stdlib_9.1.0-1.debian.tar.xz
Homepage: https://rocq-prover.org
Package-List: 
 libcoq-stdlib deb math optional arch=any
Directory: pool/main/r/rocq-stdlib
Priority: optional
Section: math

.
26677a
Package: oxygen
Binary: kde-style-oxygen-qt6, kwin-decoration-oxygen, liboxygenstyle6-6, liboxygenstyleconfig-data, liboxygenstyleconfig6-6, oxygen-wallpapers, plasma-theme-oxygen
Version: 4:6.7.2-1
Maintainer: Debian Qt/KDE Maintainers <debian-qt-kde@lists.debian.org>
Uploaders: Aurélien COUDERC <coucouf@debian.org>, Patrick Franz <deltaone@debian.org>
Build-Depends: debhelper-compat (= 13), dh-sequence-kf6, dh-sequence-pkgkde-symbolshelper, dh-sequence-plasma, cmake (>= 3.25~), extra-cmake-modules (>= 5.102.0~), gettext, libkdecorations3-dev, libkf5completion-dev, libkf5config-dev, libkf5coreaddons-dev, libkf5guiaddons-dev, libkf5i18n-dev, libkf5service-dev, libkf5style-dev, libkf5widgetsaddons-dev, libkf5windowsystem-dev, libkf6completion-dev (>= 6.26.0~), libkf6config-dev (>= 6.26.0~), libkf6configwidgets-dev, libkf6coreaddons-dev (>= 6.26.0~), libkf6guiaddons-dev (>= 6.26.0~), libkf6i18n-dev (>= 6.26.0~), libkf6kcmutils-dev (>= 6.26.0~), libkf6service-dev (>= 6.26.0~), libkf6style-dev (>= 6.26.0~), libkf6widgetsaddons-dev (>= 6.26.0~), libkf6windowsystem-dev (>= 6.26.0~), libplasma-dev (>= 6.7.0~), libqt5x11extras5-dev (>= 5.15.2~), libx11-dev, libxcb1-dev, libxkbcommon-dev, pkgconf, qt6-base-dev (>= 6.10.0~), qt6-base-private-dev (>= 6.6.0+dfsg~), qt6-declarative-dev (>= 6.10.0~), qtbase5-dev (>= 5.15.2~), qtdeclarative5-dev (>= 5.15.2~)
Architecture: any all
Standards-Version: 4.7.4
Format: 3.0 (quilt)
Files:
 7144cbb9006c33d3b7f97877f3cdcc4b 3642 oxygen_6.7.2-1.dsc
 b76d8d2d37dd5817af2d7db008ce43cc 31833996 oxygen_6.7.2.orig.tar.xz
 30d0d2b4966c715b085a9f96d5abbacd 488 oxygen_6.7.2.orig.tar.xz.asc
 2ee226281e0c1c1a557b32fce50a73db 17800 oxygen_6.7.2-1.debian.tar.xz
Vcs-Browser: https://salsa.debian.org/qt-kde-team/kde/oxygen
Vcs-Git: https://salsa.debian.org/qt-kde-team/kde/oxygen.git
Checksums-Sha256:
 aff31c14eb387baedebb51e99cdcdb9613d2d73cc8174602865a3bf17b0bd4ba 3642 oxygen_6.7.2-1.dsc
 d3357c2e0c69db6ced5365006b96770db0baadb0899a4e572ae5016377712ade 31833996 oxygen_6.7.2.orig.tar.xz
 2b419b9d9fd55b1c158b1303ca5fb5ecb63e78e6e829e254fe69d0f39ef055ee 488 oxygen_6.7.2.orig.tar.xz.asc
 a5c6ae9229dea1831785675c94b4e4158e773fe3e7e5d989ccc307bc6a9af1e4 17800 oxygen_6.7.2-1.debian.tar.xz
Homepage: https://invent.kde.org/plasma/oxygen
Package-List: 
 kde-style-oxygen-qt6 deb kde optional arch=any
 kwin-decoration-oxygen deb kde optional arch=any
 liboxygenstyle6-6 deb libs optional arch=any
 liboxygenstyleconfig-data deb kde optional arch=all
 liboxygenstyleconfig6-6 deb libs optional arch=any
 oxygen-wallpapers deb kde optional arch=all
 plasma-theme-oxygen deb kde optional arch=any
Directory: pool/main/o/oxygen
Priority: optional
Section: misc

.
26039a
Directory: pool/main/o/opencolorio
Priority: optional
Section: misc

Package: opencolorio
Binary: libopencolorio-dev, libopencolorio2.5, opencolorio-tools, python3-pyopencolorio
Version: 2.5.1+dfsg-3
Maintainer: Debian PhotoTools Maintainers <pkg-phototools-devel@lists.alioth.debian.org>
Uploaders: Matteo F. Vescovi <mfv@debian.org>
Build-Depends: cmake, debhelper-compat (= 13), dh-python, doxygen, freeglut3-dev, libexpat1-dev, libglew-dev, libimath-dev, liblcms2-dev, libminizip-ng-dev, libopenexr-dev, libopenimageio-dev (>= 2.3.9.0) <!pkg.opencolorio.noopenimageio>, libpystring-dev (>= 1.1.4-2), libpython3-dev, libtinyxml-dev, libyaml-cpp-dev, pkgconf, pybind11-dev, pybuild-plugin-pyproject, python3-all-dev:any, python3-breathe, python3-docutils, python3-imath, python3-jinja2, python3-pygments, python3-recommonmark, python3-setuptools, python3-sphinx, python3-sphinx-press-theme, python3-sphinx-tabs, python3-testresources
Architecture: any
Standards-Version: 4.7.3
Format: 3.0 (quilt)
Files:
 be69d77391639505063ab56df64375b4 2483 opencolorio_2.5.1+dfsg-3.dsc
 0f3bfc805608e75b94c5fa8da228fe78 10216204 opencolorio_2.5.1+dfsg.orig.tar.xz
 e0b1582c20125514817bc5c217378e48 18244 opencolorio_2.5.1+dfsg-3.debian.tar.xz
Vcs-Browser: https://salsa.debian.org/debian-phototools-team/opencolorio
Vcs-Git: https://salsa.debian.org/debian-phototools-team/opencolorio.git
Checksums-Sha256:
 31630f4c6b057b2d12746c726e17fe6319b0ff9848862c8309f470ccc81d3599 2483 opencolorio_2.5.1+dfsg-3.dsc
 3b5b54b827b317d9c58a5318db8b58ebad30c5cba470e829683cf9bd5984e3df 10216204 opencolorio_2.5.1+dfsg.orig.tar.xz
 b206e78e0591c9df3cca3144468fac40aeb49757471c87602e6e19e32c01a781 18244 opencolorio_2.5.1+dfsg-3.debian.tar.xz
Homepage: https://opencolorio.org
Package-List: 
 libopencolorio-dev deb libdevel optional arch=any
 libopencolorio2.5 deb libs optional arch=any
 opencolorio-tools deb utils optional arch=any
 python3-pyopencolorio deb python optional arch=any
Testsuite: autopkgtest-pkg-python
.
24428,24457d
18190a
Package: icann-rdap-common
Binary: librust-icann-rdap-common-dev
Version: 0.0.30-2
Maintainer: Daniel Baumann <daniel@debian.org>
Build-Depends: debhelper-compat (= 14), dh-sequence-cargo, dh-sequence-single-binary
Architecture: any
Standards-Version: 4.7.4
Format: 3.0 (quilt)
Files:
 4739542cc2f5164b66ce228fa37818d8 2377 icann-rdap-common_0.0.30-2.dsc
 8180ed39a8ac9a05e8ab9d11b09f6ef6 117724 icann-rdap-common_0.0.30.orig.tar.xz
 951e6a004c51fe3067aa50cef57247e4 3300 icann-rdap-common_0.0.30-2.debian.tar.xz
Vcs-Browser: https://forgejo.debian.net/icann/icann-rdap-common
Vcs-Git: https://forgejo.debian.net/icann/icann-rdap-common
Checksums-Sha256:
 d736b880a65c597c07ffb6ebc8726c967bccab6654f90bd77f20547e2d529da3 2377 icann-rdap-common_0.0.30-2.dsc
 7ac29cd9b18f84f0d3d8a92ac587e6143cddf88b9a9d10d81dfdf1bf86e26b18 117724 icann-rdap-common_0.0.30.orig.tar.xz
 2273f1b04e6f2f5aa6bc5efa5512652534e714fde91e741662e96ceb7d241a15 3300 icann-rdap-common_0.0.30-2.debian.tar.xz
Homepage: https://github.com/icann/icann-rdap
Build-Depends-Arch: cargo:native <!nocheck>, librust-buildstructor-0.6+default-dev <!nocheck>, librust-chrono-0.4+alloc-dev <!nocheck>, librust-chrono-0.4+clock-dev <!nocheck>, librust-chrono-0.4+serde-dev <!nocheck>, librust-chrono-0.4+std-dev <!nocheck>, librust-cidr-0.3+default-dev <!nocheck>, librust-const-format-0.2+default-dev <!nocheck>, librust-idna-1+default-dev (>= 1.1) <!nocheck>, librust-ipnet-2+default-dev (>= 2.11) <!nocheck>, librust-ipnet-2+json-dev (>= 2.11) <!nocheck>, librust-prefix-trie-0.9+default-dev (>= 0.9.3) <!nocheck>, librust-serde-1+default-dev <!nocheck>, librust-serde-1+derive-dev <!nocheck>, librust-serde-json-1+default-dev <!nocheck>, librust-strum-0.26+default-dev <!nocheck>, librust-strum-macros-0.26+default-dev <!nocheck>, librust-thiserror-2+default-dev <!nocheck>, libstd-rust-dev <!nocheck>, rustc:native <!nocheck>
Package-List: 
 librust-icann-rdap-common-dev deb rust optional arch=any
Testsuite: autopkgtest
Testsuite-Triggers: dh-cargo, librust-indoc-2+default-dev, librust-rstest-0.26+default-dev, rustc
Directory: pool/main/i/icann-rdap-common
Priority: optional
Section: rust

.
18134a
Package: icann-rdap-cli
Binary: librust-icann-rdap-cli-dev, icann-rdap-cli
Version: 0.0.30-2
Maintainer: Daniel Baumann <daniel@debian.org>
Build-Depends: debhelper-compat (= 14), dh-sequence-cargo
Architecture: any
Standards-Version: 4.7.4
Format: 3.0 (quilt)
Files:
 9fd71af9674e095f55490242175f9700 3396 icann-rdap-cli_0.0.30-2.dsc
 9672d7b91b312fde2bb45126d6dc4302 57848 icann-rdap-cli_0.0.30.orig.tar.xz
 80602e8d901193ebdfa276d298ff1a2f 3820 icann-rdap-cli_0.0.30-2.debian.tar.xz
Vcs-Browser: https://forgejo.debian.net/icann/icann-rdap-cli
Vcs-Git: https://forgejo.debian.net/icann/icann-rdap-cli
Checksums-Sha256:
 acd421f5a6368b1099355001543d5e23335c2d59409b4e79de204f4597f4046e 3396 icann-rdap-cli_0.0.30-2.dsc
 c7afdc1804a9811fc38dabe51c096a47e245afb45987db975aad5fbea1431e46 57848 icann-rdap-cli_0.0.30.orig.tar.xz
 bc6d3bfa57cbc9eda61d9d6ff9ff88ae164f78f26d8af3ba9dd15104a75c3829 3820 icann-rdap-cli_0.0.30-2.debian.tar.xz
Homepage: https://github.com/icann/icann-rdap
Build-Depends-Arch: cargo:native, 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), libstd-rust-dev, rustc:native
Package-List: 
 icann-rdap-cli deb net optional arch=any
 librust-icann-rdap-cli-dev deb rust optional arch=any
Testsuite: autopkgtest
Testsuite-Triggers: dh-cargo, librust-assert-cmd-2+default-dev, librust-cidr-utils-0.6+default-dev, librust-rstest-0.26+default-dev, librust-serial-test-3+default-dev, librust-tempfile-3+default-dev, librust-test-dir-0.2+default-dev, librust-tracing-subscriber-0.3+default-dev, librust-tracing-subscriber-0.3+env-filter-dev, rustc
Directory: pool/main/i/icann-rdap-cli
Priority: optional
Section: net

.
4924,4956d
3669,3671c
 e5c1975b389fe317fc492c0eca91648bb08d486c2d2f595de6203036bd11aa25 2484 elpi_3.7.2-1.dsc
 0f624e18d764905912dfc074df1f82aeb6deefc2c60c67a64defe8f5c821ac56 2707427 elpi_3.7.2.orig.tar.gz
 aa1284f8d1a6b6bb08cd3ff2af2af6c49149d2da4d9ed0f56af9835cb1fa5d75 6140 elpi_3.7.2-1.debian.tar.xz
.
3663,3665c
 73a79da4df4a5475ef1b9c8d8724f42a 2484 elpi_3.7.2-1.dsc
 3ceeb16c4649f4983aa1ee57e39c71bc 2707427 elpi_3.7.2.orig.tar.gz
 c25a5be0ad74014f91cc38f321136d7c 6140 elpi_3.7.2-1.debian.tar.xz
.
3660c
Standards-Version: 4.7.4
.
3655c
Version: 3.7.2-1
.
3351,3377d
1665a
Package: coq-ext-lib
Binary: libcoq-ext-lib
Version: 0.13.1-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Architecture: any
Standards-Version: 4.7.4
Format: 3.0 (quilt)
Files:
 d3b25da7f6a1cd472029ad71971f0f6d 2108 coq-ext-lib_0.13.1-1.dsc
 2e20520bf90bfc691ae6b7de71beb0a2 85531 coq-ext-lib_0.13.1.orig.tar.gz
 693b1afc7143181eb4d327201e5da24a 2500 coq-ext-lib_0.13.1-1.debian.tar.xz
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-ext-lib
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-ext-lib.git
Checksums-Sha256:
 d17a32ca00ebc488caef972baf9f11f3080862d3cd9e93f599bd91f0ff44364e 2108 coq-ext-lib_0.13.1-1.dsc
 b3bca20b41d2bde744a484e5bf8fa783386372868a0bd6b24a4824648c73d133 85531 coq-ext-lib_0.13.1.orig.tar.gz
 a47694f500a55df34aafe539127cdd2794ed88a0ae0b0e29ee12c67ee1b5f374 2500 coq-ext-lib_0.13.1-1.debian.tar.xz
Homepage: https://github.com/coq-community/coq-ext-lib
Package-List: 
 libcoq-ext-lib deb ocaml optional arch=any
Testsuite: autopkgtest
Testsuite-Triggers: coq
Directory: pool/main/c/coq-ext-lib
Priority: optional
Section: misc

.
1637a
Package: coq-elpi
Binary: libcoq-elpi
Version: 3.4.0-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, elpi (>= 3.4.2), libcoq-core-ocaml-dev, libcoq-stdlib, libelpi-ocaml-dev, libppx-optcomp-ocaml-dev, libxml-light-ocaml-dev, libyojson-ocaml-dev, ocaml-dune
Architecture: any
Standards-Version: 4.7.4
Format: 3.0 (quilt)
Files:
 0cd2a574e2eaec7a76e182fb18469be6 2135 coq-elpi_3.4.0-1.dsc
 4b98b790f288a6158288583bab708725 1113403 coq-elpi_3.4.0.orig.tar.gz
 fbd11deadb97ee26e7868a6baf74f5f0 3676 coq-elpi_3.4.0-1.debian.tar.xz
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-elpi
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-elpi.git
Checksums-Sha256:
 e42883fa9a78e919d49b7c9b02e159aa7495b7b8d65a2c46a3726af81e42f1f8 2135 coq-elpi_3.4.0-1.dsc
 bf40b908ed30bc2d5ee9e5b1f084e10a059d8360eb7b8b22750aefc3bffa4a7a 1113403 coq-elpi_3.4.0.orig.tar.gz
 25a1fbbdfc6ae9647ce43955af09cb4a5f6fd848e9baa91705ecbcfd8e2a850c 3676 coq-elpi_3.4.0-1.debian.tar.xz
Homepage: https://github.com/LPCIC/coq-elpi
Package-List: 
 libcoq-elpi deb ocaml optional arch=any
Directory: pool/main/c/coq-elpi
Priority: optional
Section: misc

.
1611a
Package: coq-dpdgraph
Binary: libcoq-dpdgraph, coq-dpdgraph-tools
Version: 1.0+9.1-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib, libocamlgraph-ocaml-dev
Architecture: any
Standards-Version: 4.7.4
Format: 3.0 (quilt)
Files:
 c12c097de9d10293406d13a336f39355 2220 coq-dpdgraph_1.0+9.1-1.dsc
 2cc394fe582b0e0cbf99b4c11e0fa6c1 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz
 5e6b476a61be24a17e8f798e52e82cfd 3148 coq-dpdgraph_1.0+9.1-1.debian.tar.xz
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-dpdgraph
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-dpdgraph.git
Checksums-Sha256:
 5612ecee234e8cd3f61b5cbb1dae6121f39bc7720ee2bfbd54434bbb8276a8fd 2220 coq-dpdgraph_1.0+9.1-1.dsc
 3699e6eb34354da699e04c7acef990ddc467a1f50a852faeb01ee15e3989e099 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz
 f7de659cf0306c3f5b1dbdc53d5eba7756aa55db72ac19bec1ca71b175ee9644 3148 coq-dpdgraph_1.0+9.1-1.debian.tar.xz
Homepage: https://github.com/coq-community/coq-dpdgraph
Package-List: 
 coq-dpdgraph-tools deb ocaml optional arch=any
 libcoq-dpdgraph deb ocaml optional arch=any
Testsuite: autopkgtest
Testsuite-Triggers: coq
Directory: pool/main/c/coq-dpdgraph
Priority: optional
Section: misc

.
1555a
Package: coq-bignums
Binary: libcoq-bignums
Version: 9.0.0+rocq9.2-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Architecture: any
Standards-Version: 4.7.4
Format: 3.0 (quilt)
Files:
 3259f63b35c676546df05fcc8f9f8196 2156 coq-bignums_9.0.0+rocq9.2-1.dsc
 6f2f126e7b81df8a6eef1ea81fc58203 117333 coq-bignums_9.0.0+rocq9.2.orig.tar.gz
 0d1f7787ef90f324d653c1c98185e996 2248 coq-bignums_9.0.0+rocq9.2-1.debian.tar.xz
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-bignums
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-bignums.git
Checksums-Sha256:
 1ac2e16618a9a979122b5b99826689f61e25d75e058d97f8ea7240ccae17cb06 2156 coq-bignums_9.0.0+rocq9.2-1.dsc
 8a481c68ed79b49cab4906c9929948f8afab4d60fcd586a22d549027521a6025 117333 coq-bignums_9.0.0+rocq9.2.orig.tar.gz
 3ef4ccfcbf9c04a5f54e174e49fed056292a7c52a19b2f4e11c345a7bdfd30b8 2248 coq-bignums_9.0.0+rocq9.2-1.debian.tar.xz
Homepage: https://github.com/coq-community/bignums
Package-List: 
 libcoq-bignums deb ocaml optional arch=any
Testsuite: autopkgtest
Testsuite-Triggers: coq
Directory: pool/main/c/coq-bignums
Priority: optional
Section: misc

.
1527a
Package: coq
Binary: coq, rocqide, libcoq-core, libcoq-core-ocaml, libcoq-core-ocaml-dev
Version: 9.2.0+dfsg-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>, Ralf Treinen <treinen@debian.org>, Stéphane Glondu <glondu@debian.org>
Build-Depends: debhelper-compat (= 13), dh-coq, dh-ocaml, dh-python, ocaml-dune, ocaml, ocaml-findlib (>= 1.8.0), libfindlib-ocaml-dev, liblablgtk3-ocaml-dev, liblablgtksourceview3-ocaml-dev (>= 3.0~beta8), libnum-ocaml-dev, libounit-ocaml-dev, libzarith-ocaml-dev, python3, rsync, tex-common
Architecture: any
Standards-Version: 4.7.4
Format: 3.0 (quilt)
Files:
 8b195bbd632d4d986bc99ff7ca4abde5 2499 coq_9.2.0+dfsg-1.dsc
 a33dfe089575d328913178abf6c5b41a 3946088 coq_9.2.0+dfsg.orig.tar.xz
 4f7f94d34632366bd492726f0daaa999 23724 coq_9.2.0+dfsg-1.debian.tar.xz
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq
Vcs-Git: https://salsa.debian.org/ocaml-team/coq.git
Checksums-Sha256:
 8ec05acd85ad7c1a48730f8aeddfa58097c3ec8f864055ccc8adf99c3f0a0e81 2499 coq_9.2.0+dfsg-1.dsc
 6d04561edb60ef68f5cf73c6f6fdb25c31cf6bf0c96f01fd0861f0c99a9c49db 3946088 coq_9.2.0+dfsg.orig.tar.xz
 70fb1351fe0b0945eeb5ce07a9a55448f2ad1b81da2739db8de9072a9c3ce411 23724 coq_9.2.0+dfsg-1.debian.tar.xz
Homepage: http://coq.inria.fr/
Package-List: 
 coq deb math optional arch=any
 libcoq-core deb math optional arch=any
 libcoq-core-ocaml deb ocaml optional arch=any
 libcoq-core-ocaml-dev deb ocaml optional arch=any
 rocqide deb math optional arch=any
Testsuite: autopkgtest
Directory: pool/main/c/coq
Priority: optional
Section: math

.
1352,1378d
