852751a

Package: rocq-micromega-plugin
Binary: libcoq-micromega-plugin
Version: 1.1.1-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core, libcoq-core-ocaml-dev, libcoq-stdlib, libppx-optcomp-ocaml-dev, ocaml-dune
Architecture: any
Standards-Version: 4.7.4
Format: 3.0 (quilt)
Files:
 0490ae45151fa1b0fe8a77e50414ccbe 2214 rocq-micromega-plugin_1.1.1-1.dsc
 21e0136a9bcd1596b65c2f7ca8ad7217 153653 rocq-micromega-plugin_1.1.1.orig.tar.gz
 d5f6a7970afa2034ecbb3ffa35ecb64c 2476 rocq-micromega-plugin_1.1.1-1.debian.tar.xz
Vcs-Browser: https://salsa.debian.org/ocaml-team/rocq-micromega-plugin
Vcs-Git: https://salsa.debian.org/ocaml-team/rocq-micromega-plugin.git
Checksums-Sha256:
 9b54dd633eda0052113046664d2369c7d53be45581c2370ce9e8043579af9a60 2214 rocq-micromega-plugin_1.1.1-1.dsc
 4f98ddc6924211f5e9b8a7f153e6849b4ddd1e197a06410e88ce801cbdc4210d 153653 rocq-micromega-plugin_1.1.1.orig.tar.gz
 f3b5a3ec46feab2304a886d6d909263768f222c432deece19a0467038c1e2885 2476 rocq-micromega-plugin_1.1.1-1.debian.tar.xz
Homepage: https://github.com/rocq-community/micromega-plugin
Package-List: 
 libcoq-micromega-plugin deb math optional arch=any
Directory: pool/main/r/rocq-micromega-plugin
Priority: optional
Section: math

Package: rocq-stdlib
Binary: libcoq-stdlib
Version: 9.2.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, libcoq-core, ocaml, ocaml-dune (>= 3.24.1)
Architecture: any
Standards-Version: 4.7.4
Format: 3.0 (quilt)
Files:
 88eeb932ba085a78ff7ff3feeb44e8b5 2042 rocq-stdlib_9.2.0-1.dsc
 06133186f3c1b41e3264a4d7e681d309 1850225 rocq-stdlib_9.2.0.orig.tar.gz
 d1403cd866db343556d09bbe4067b4f4 2488 rocq-stdlib_9.2.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:
 6f7697cee48c6b4710e51a2aa91b6b577ee0ceff771bbba8f933bfec9db6bdcd 2042 rocq-stdlib_9.2.0-1.dsc
 08dbf08b0ba6f6c3853307d7f94ed6035ec0c315ff1392bcc2bc48f25644ed31 1850225 rocq-stdlib_9.2.0.orig.tar.gz
 889320bc36c538ec0a8c118175ee095d4851df9e1835a065f4e12631644c31eb 2488 rocq-stdlib_9.2.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
.
675960c
 dccc05665a0fa50db74f7b743dc4fb1812f1c5e65bcd54aa8b21de5b3b38db84 7128 ott_0.34+ds-5.debian.tar.xz
.
675958c
 952f80937c4703d6386c6c88d778165bf27a850f9feafee16c23da33d38a6f68 2128 ott_0.34+ds-5.dsc
.
675954c
 1c25906c00d9c090a8b9449cead42407 7128 ott_0.34+ds-5.debian.tar.xz
.
675952c
 812670eff90a02cfddda87e108d0d021 2128 ott_0.34+ds-5.dsc
.
675949c
Standards-Version: 4.7.4
.
675947c
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, help2man, hevea, libcoq-core-ocaml-dev, libcoq-stdlib, libocamlgraph-ocaml-dev, pandoc
.
675944c
Version: 0.34+ds-5
.
135563,135565c
 31840ff0460a70ed9b67f9c97872a0565efc8d0a512eb2d73dbf1973cc662dcd 2040 flocq_4.2.2-2.dsc
 176914d121c09ee07679afd302fc42675592c4c3db2c1e3a71ad69b03c2b0a89 329748 flocq_4.2.2.orig.tar.bz2
 f32334aec8d620bc5cfe484ef61e359b80e707dec98c8f0e018d465166389775 2024 flocq_4.2.2-2.debian.tar.xz
.
135557,135559c
 52d32ced8dc0508276bb277de3356463 2040 flocq_4.2.2-2.dsc
 4db33be7df4d7307ce4e011e74cf8c94 329748 flocq_4.2.2.orig.tar.bz2
 0737d6154e3eb2927e3103962690690b 2024 flocq_4.2.2-2.debian.tar.xz
.
135554c
Standards-Version: 4.7.4
.
135552c
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
.
135549c
Version: 4.2.2-2
.
71185c
 a7e8b0c82d7855d051196993a480eee9a759c2eb8459fc620ca00cc2a5c45978 3920 coqprime_8.20.1-5.debian.tar.xz
.
71183c
 44267804bbabd0ed1ff4676d1ff10ffab086b625d53064bea73c1cde6af4882c 2185 coqprime_8.20.1-5.dsc
.
71179c
 7ec26987bcbe069742cb72b693ba6345 3920 coqprime_8.20.1-5.debian.tar.xz
.
71177c
 9f47b490b02547f8f4954d8fb1d882d1 2185 coqprime_8.20.1-5.dsc
.
71174c
Standards-Version: 4.7.4
.
71172c
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-bignums, libcoq-core-ocaml-dev, libcoq-stdlib, libecm1-dev, libzarith-ocaml-dev
.
71169c
Version: 8.20.1-5
.
71155,71157c
 f39cdb2b18024356350b8a263d30ae9442758a485005d8994e8e25b209eacb9e 2118 coq-unimath_20260603-2.dsc
 e83c9539f7586c2fd0c103d104449eddf14ead5d956d995660a9b76d007f2053 4201408 coq-unimath_20260603.orig.tar.gz
 6d7320bdec85671b553db34dad6432e7f99c0e8d68b83c1ad2ade6da4b877485 2432 coq-unimath_20260603-2.debian.tar.xz
.
71149,71151c
 5ec26526bacc5a1a10d8a07de9df2c21 2118 coq-unimath_20260603-2.dsc
 c400d964180fb1e2d358bc84a9898974 4201408 coq-unimath_20260603.orig.tar.gz
 10fe17c6e71afb1a7116b890b0e0e5a5 2432 coq-unimath_20260603-2.debian.tar.xz
.
71146c
Standards-Version: 4.7.4
.
71144c
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
.
71141c
Version: 20260603-2
.
71127,71129c
 505d45509d409c590258bc41e010dac2a2f8c302a52d01224d35a1e8d11d27b0 2096 coq-unicoq_1.6-9.1-2.dsc
 d25f20e0d2b04dd6838f67b867fdd3fa94c165e73b9a4682158b2b3ab4dda3d7 594021 coq-unicoq_1.6-9.1.orig.tar.gz
 eea3ccc9a7a60c33c78f0f55847cb36d0e7678e33d4100e79d0744f3a120a46e 2864 coq-unicoq_1.6-9.1-2.debian.tar.xz
.
71121,71123c
 7ba0d0ed3c244685105c7d9d5a3f8139 2096 coq-unicoq_1.6-9.1-2.dsc
 7b63eace5f3d2a38779195f8bd389599 594021 coq-unicoq_1.6-9.1.orig.tar.gz
 4369f233678e78a34a623b3d725db001 2864 coq-unicoq_1.6-9.1-2.debian.tar.xz
.
71118c
Standards-Version: 4.7.4
.
71116c
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
.
71113c
Version: 1.6-9.1-2
.
71099,71101c
 00fce5cbe387e445166f1ad3ed6fbe84f2a2c1ab4caff84f6d0a23c7d1d812e7 2082 coq-stdpp_1.13.0-2.dsc
 f5e99bf211d8a0508a4bdc83072fad07d65789016c1c7ae7e29b5392056d3ed6 342787 coq-stdpp_1.13.0.orig.tar.gz
 c37f459b02b82f559971f402cd4417c44b536253baacf5b697acfe3fe090e789 2884 coq-stdpp_1.13.0-2.debian.tar.xz
.
71093,71095c
 535e252918ab93f3e449e855d4a84e33 2082 coq-stdpp_1.13.0-2.dsc
 45ee699801c8697aa5a623694a55b1b0 342787 coq-stdpp_1.13.0.orig.tar.gz
 93080b1a7cdde028f9f6909dafc654ad 2884 coq-stdpp_1.13.0-2.debian.tar.xz
.
71090c
Standards-Version: 4.7.4
.
71088c
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
.
71085c
Version: 1.13.0-2
.
71082a
Package: coq-simple-io
Binary: libcoq-simple-io
Version: 1.11.0-5
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Build-Depends: coq (>= 9), cppo, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-ext-lib, libcoq-core-ocaml-dev, libcoq-stdlib, ocamlbuild <!nocheck>, ocaml-dune (>= 3.24.1)
Architecture: any
Standards-Version: 4.7.4
Format: 3.0 (quilt)
Files:
 73406ad4c5a1888934d848a1c680e535 2201 coq-simple-io_1.11.0-5.dsc
 149a38aa56a849082b3aeee8af7d1deb 35489 coq-simple-io_1.11.0.orig.tar.gz
 ec008c1eff72d74afddc5753afb90b6c 4632 coq-simple-io_1.11.0-5.debian.tar.xz
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-simple-io
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-simple-io.git
Checksums-Sha256:
 fd578404f29fd33653fbfb485ff84c35703e6406421acec1ce2c86a85e9da6b3 2201 coq-simple-io_1.11.0-5.dsc
 d58ce82b72f1d5b5010bbe04ca1f68dc93d9afb4902aa59b0b2cc7a5abd4fb8f 35489 coq-simple-io_1.11.0.orig.tar.gz
 2cac15e629cb61360fd64ac3ac8fcbddcebce8f9b0f91a008b0bb9728ca1452f 4632 coq-simple-io_1.11.0-5.debian.tar.xz
Homepage: https://github.com/coq-community/coq-simple-io
Package-List: 
 libcoq-simple-io deb ocaml optional arch=any
Testsuite: autopkgtest
Testsuite-Triggers: coq
Directory: pool/main/c/coq-simple-io
Priority: optional
Section: misc

.
71074d
71070,71072c
 dc7cb54fcf3e72e8e151fe06a1311ef3f95e9fccb644e9e9b5bd4f65d78ce2a3 2223 coq-reduction-effects_0.1.6-4.dsc
 20d386e0606462a92458784fdaa134cdccfd9d899f75f784a56e1b96c9ea3ef6 10436 coq-reduction-effects_0.1.6.orig.tar.gz
 50b19bee707ff9d01dc39a3528bdce2201afd1c3f6149ed999f04817e22afc5b 2348 coq-reduction-effects_0.1.6-4.debian.tar.xz
.
71064,71066c
 4ec047fb2e51a9743af9955ecb92c8db 2223 coq-reduction-effects_0.1.6-4.dsc
 cf98e2d1df03ad74339fd8145313cdab 10436 coq-reduction-effects_0.1.6.orig.tar.gz
 fbefdb85a27eb52222cef2a91c251238 2348 coq-reduction-effects_0.1.6-4.debian.tar.xz
.
71061c
Standards-Version: 4.7.4
.
71059c
Build-Depends: coq (>= 9), cppo, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
.
71056c
Version: 0.1.6-4
.
71042,71044c
 56f8491ed4da986af87706a45127188fd4e67e40cf9b6efcdabff15d4cc59e43 2167 coq-record-update_0.3.7-3.dsc
 14b790463d0971d430b1a05a87f152a73cbb0bba4a6220dc579301784767ee4b 18882 coq-record-update_0.3.7.orig.tar.gz
 a3d4eeefc17cc034008c1c754049e9c4156f73b324203eb46f660e70473f649c 2324 coq-record-update_0.3.7-3.debian.tar.xz
.
71036,71038c
 aaae1544fd8533ab202727839b3fdbf0 2167 coq-record-update_0.3.7-3.dsc
 594a9e1d26daa184364549c4d1e76553 18882 coq-record-update_0.3.7.orig.tar.gz
 3b98c101d5d663902d44689b08adc266 2324 coq-record-update_0.3.7-3.debian.tar.xz
.
71033c
Standards-Version: 4.7.4
.
71031c
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
.
71028c
Version: 0.3.7-3
.
71014,71016c
 3d231b33ab45ef21561f0aef33e06460661ebb3e2b62d429d29e418b60ce8202 2140 coq-mtac2_1.4-rocq9.1-2.dsc
 8e4181daad414ff2b8a489436530f54c42c0fabce61dbca8a0bb2e3efbcf02f1 252426 coq-mtac2_1.4-rocq9.1.orig.tar.gz
 d74163a41a3098f57d031bca4e53cb00be5a8fc5fec7ac72fc21a890c188f682 4652 coq-mtac2_1.4-rocq9.1-2.debian.tar.xz
.
71008,71010c
 983ebdc3bfeed9022daddcff21cb19ca 2140 coq-mtac2_1.4-rocq9.1-2.dsc
 8bb2d07061f97a57ffad4c9812bed8e9 252426 coq-mtac2_1.4-rocq9.1.orig.tar.gz
 b27b493d3b1cae6814c6d6c8359cb72c 4652 coq-mtac2_1.4-rocq9.1-2.debian.tar.xz
.
71005c
Standards-Version: 4.7.4
.
71003c
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib, libcoq-unicoq, ocaml-findlib
.
71000c
Version: 1.4-rocq9.1-2
.
70986,70988c
 b8309c717950ee7343c06418b86210c6a2f788036ea69025e88291b88a42fc0c 2167 coq-menhirlib_20260209+ds-2.dsc
 85653ae55c8d4406c501caccfb234c13f4c8481211e0bc26ed75fe8261725c70 367036 coq-menhirlib_20260209+ds.orig.tar.xz
 90850cdf1ae828fd7155ad78872f79cd7d0dc44b1f7bd206eb362270d6c8e8c6 2232 coq-menhirlib_20260209+ds-2.debian.tar.xz
.
70980,70982c
 efb9b326e65d17d569dfd999fc744bf6 2167 coq-menhirlib_20260209+ds-2.dsc
 8bbf539834139947215adf64c72b4b59 367036 coq-menhirlib_20260209+ds.orig.tar.xz
 628f740f9ce22381f5409cd11f9ae00f 2232 coq-menhirlib_20260209+ds-2.debian.tar.xz
.
70977c
Standards-Version: 4.7.4
.
70975c
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
.
70972c
Version: 20260209+ds-2
.
70958,70960c
 cc5eee4c1ecc02e3d44cbf36d835305f986f35da9da1c01d0ffb6ac34483e9c8 2176 coq-math-classes_9.2.0-1.dsc
 f39853f10413b56fe17612d288d9456c540620110eaaf2b50b87d17f28534176 169210 coq-math-classes_9.2.0.orig.tar.gz
 d0a1c12cdc097131b1ad333f58b8b732d683e5df01f20b155ee28b6f41a1d30a 3040 coq-math-classes_9.2.0-1.debian.tar.xz
.
70952,70954c
 2330186c73a66e98973e1b7cf4905a7b 2176 coq-math-classes_9.2.0-1.dsc
 b9c8296a7117b2c077607b281d346e8b 169210 coq-math-classes_9.2.0.orig.tar.gz
 9d688bb8c6605b1b9dcd8a7356316399 3040 coq-math-classes_9.2.0-1.debian.tar.xz
.
70949c
Standards-Version: 4.7.4
.
70947c
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-bignums, libcoq-stdlib
.
70944c
Version: 9.2.0-1
.
70933d
70929,70931c
 36140fa72e9298ea223fd1ec70aa3fe2cd48fade75957c4b4a1493596aa0190e 2091 coq-libhyps_5.0.0-2.dsc
 66cba61abc72690064e5d7d0dd7341e9fa02a36bc82bcaab783e0680c17ced87 47931 coq-libhyps_5.0.0.orig.tar.gz
 5428fc048c26b340f25025b26a7eb014466e1f4e34bdd563fd1cdbf2508fed63 2316 coq-libhyps_5.0.0-2.debian.tar.xz
.
70923,70925c
 c7fa14c23f78e3829b169df1df4c5d7d 2091 coq-libhyps_5.0.0-2.dsc
 285324dd6a00928fc4c493b526bee9d4 47931 coq-libhyps_5.0.0.orig.tar.gz
 e3141b89b0f9995a87cdd8584cad5ee6 2316 coq-libhyps_5.0.0-2.debian.tar.xz
.
70920c
Standards-Version: 4.7.4
.
70918c
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
.
70915c
Version: 5.0.0-2
.
70901,70903c
 711e99484d2279c07406f3240fe50a1b65e489ad6867df74218a057b7604db0e 2171 coq-iris_4.5.0-2.dsc
 674ca022294f2dac1776669149dc7eee7d030413e2fe0f5b7ef50f0b21a8add5 816280 coq-iris_4.5.0.orig.tar.gz
 d0a6baa109f0f94367584f14c9ff94ae10a6fa8fb2e747c937e14528beb3667b 12976 coq-iris_4.5.0-2.debian.tar.xz
.
70895,70897c
 005f7a0676e734325fae92956a453b1b 2171 coq-iris_4.5.0-2.dsc
 9322625971703443de817c646f216267 816280 coq-iris_4.5.0.orig.tar.gz
 ca9090305168471bb147ca7da8ead0b7 12976 coq-iris_4.5.0-2.debian.tar.xz
.
70892c
Standards-Version: 4.7.4
.
70890c
Build-Depends: biber, coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, latexmk, libcoq-core-ocaml-dev, libcoq-stdpp, lmodern, texlive-bibtex-extra, texlive-fonts-extra, texlive-latex-extra, texlive-science
.
70887c
Version: 4.5.0-2
.
70873,70875c
 aa54408f6a9c1be76277a930058db95e079c9e1dacfcdce158c626767f2f2b98 2044 coq-hott_9.1-2.dsc
 40cacad368b964e4de47a7a0ab151e948bd170e098974f6229b1c20170b27f35 1184742 coq-hott_9.1.orig.tar.gz
 cd52d8f488a96d1ee456936874019c745c9adb81988bda8c177df45d52a52a1b 2748 coq-hott_9.1-2.debian.tar.xz
.
70867,70869c
 d59dca9285fa9aa10665bdbfe491f162 2044 coq-hott_9.1-2.dsc
 f68c0c08e9e5a22ff3f8365b37a793db 1184742 coq-hott_9.1.orig.tar.gz
 05ce0dd3e1dcf02223ecb4af446c99e4 2748 coq-hott_9.1-2.debian.tar.xz
.
70864c
Standards-Version: 4.7.4
.
70862c
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
.
70859c
Version: 9.1-2
.
70845,70847c
 91ff227c21c615ebf950c61c2ae0555cd8b94e4054b4aecb2484facf6f2f07c5 2114 coq-hammer_1.3.3+9.2-2.dsc
 75a051f3e51b4bb896b8be7456b8ba7406f84bcd962bb03a72746d9e1514a1d1 178234 coq-hammer_1.3.3+9.2.orig.tar.gz
 5a10a8a084fe020975f6d1fd24423b81f27349447aaea9904834eaba44d2d38e 2908 coq-hammer_1.3.3+9.2-2.debian.tar.xz
.
70839,70841c
 4dcd7a80136aee5c681ab7fb23b08ba1 2114 coq-hammer_1.3.3+9.2-2.dsc
 a8ac52389ab89258d6bffe68d7093de1 178234 coq-hammer_1.3.3+9.2.orig.tar.gz
 199da2f040d97c16faf9d65cc9625801 2908 coq-hammer_1.3.3+9.2-2.debian.tar.xz
.
70836c
Standards-Version: 4.7.4
.
70834c
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
.
70831c
Version: 1.3.3+9.2-2
.
70817,70819c
 8118e12f3b28925f35c800f83d14b547ff843359122e9474f2e144588b8b63d1 2135 coq-gappa_1.11.0-1.dsc
 434f5a567052676e2029049c15397d1e2f2aa28658e98d0973160411303b9b68 92843 coq-gappa_1.11.0.orig.tar.gz
 4d4a0574454ed297889e07bb38b6806c65fdaebbbe2bbb81ca71f9f390204bbc 3640 coq-gappa_1.11.0-1.debian.tar.xz
.
70811,70813c
 36520bb5727b64e2f061e87db8b10b05 2135 coq-gappa_1.11.0-1.dsc
 8cd7788337a5cc319734cf195c71e0c8 92843 coq-gappa_1.11.0.orig.tar.gz
 1a540a3eb8c855af3a24864583a660b7 3640 coq-gappa_1.11.0-1.debian.tar.xz
.
70808c
Standards-Version: 4.7.4
.
70806c
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-ocaml, dh-coq, gappa, libcoq-flocq, libcoq-core-ocaml-dev, libcoq-stdlib, ocaml-findlib, ocaml-native-compilers
.
70803c
Version: 1.11.0-1
.
70789,70791c
 78396e3a8c7f3dffc4e304052394ecbb9afefe04210c1aab3606f45d27e39bb7 2108 coq-ext-lib_0.13.1-2.dsc
 b3bca20b41d2bde744a484e5bf8fa783386372868a0bd6b24a4824648c73d133 85531 coq-ext-lib_0.13.1.orig.tar.gz
 0e03882f26552dfbf3a9fb9d2836261c4ccb99aca2c8d6b9a4475978d53fda15 2524 coq-ext-lib_0.13.1-2.debian.tar.xz
.
70783,70785c
 2c14cc65309c5a884f0434e8e66936d7 2108 coq-ext-lib_0.13.1-2.dsc
 2e20520bf90bfc691ae6b7de71beb0a2 85531 coq-ext-lib_0.13.1.orig.tar.gz
 84f0720924d131045b8f50e24a782b8d 2524 coq-ext-lib_0.13.1-2.debian.tar.xz
.
70780c
Standards-Version: 4.7.4
.
70778c
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
.
70775c
Version: 0.13.1-2
.
70761,70763c
 4a42f0111d1c04b95a79e591100f1fb9eafa0d71c33c64101c19e705c030162a 2242 coq-equations_1.3.2-9.2-2.dsc
 87713b62e4516e58d1992d9b01d14c4a55b6233d696c83722c41efc35483d9f6 1128151 coq-equations_1.3.2-9.2.orig.tar.gz
 84ae43e844ef5e9b998af321f31ccec232dda74ac35b4487ae01ef25712ba999 3508 coq-equations_1.3.2-9.2-2.debian.tar.xz
.
70755,70757c
 87e782e05bdfc62234d03c38933d209e 2242 coq-equations_1.3.2-9.2-2.dsc
 6128b925ddc1514f6497f1684d8a0540 1128151 coq-equations_1.3.2-9.2.orig.tar.gz
 8152458a005b6e1df777e511d946bc02 3508 coq-equations_1.3.2-9.2-2.debian.tar.xz
.
70752c
Standards-Version: 4.7.4
.
70750c
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-hott, libcoq-core-ocaml-dev, libcoq-stdlib, libocamlgraph-ocaml-dev, libppx-optcomp-ocaml-dev, ocaml-dune (>= 3.24.1)
.
70747c
Version: 1.3.2-9.2-2
.
70732,70734c
 db788be527cbc8003a3b983504e7cb023f733a0a4b1ed4885b20d094f1ce789f 2220 coq-dpdgraph_1.0+9.1-2.dsc
 3699e6eb34354da699e04c7acef990ddc467a1f50a852faeb01ee15e3989e099 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz
 97f9b76ae87a35032e69c7568da65f63bd6fb036131a9a8a5f8b049e27715836 3172 coq-dpdgraph_1.0+9.1-2.debian.tar.xz
.
70726,70728c
 f394709dad073ea57f4a228381f3c7b9 2220 coq-dpdgraph_1.0+9.1-2.dsc
 2cc394fe582b0e0cbf99b4c11e0fa6c1 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz
 49fa4d8469233f0564cba15bbd9ae239 3172 coq-dpdgraph_1.0+9.1-2.debian.tar.xz
.
70723c
Standards-Version: 4.7.4
.
70721c
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib, libocamlgraph-ocaml-dev
.
70718c
Version: 1.0+9.1-2
.
70704,70706c
 2da4e819dc3cf06a5e157d58d94cb9c163c02c038e2c0c16b465a3108bb2fdf2 2180 coq-bignums_9.0.0+rocq9.2-3.dsc
 8a481c68ed79b49cab4906c9929948f8afab4d60fcd586a22d549027521a6025 117333 coq-bignums_9.0.0+rocq9.2.orig.tar.gz
 2afb99cd5f3e52fd5b83f5a70d7b8bd2ee707889ad889f76f68ff588e1d344ba 2316 coq-bignums_9.0.0+rocq9.2-3.debian.tar.xz
.
70698,70700c
 b36d0fd393985d9f0586de5760f1032f 2180 coq-bignums_9.0.0+rocq9.2-3.dsc
 6f2f126e7b81df8a6eef1ea81fc58203 117333 coq-bignums_9.0.0+rocq9.2.orig.tar.gz
 4d45b8c3bc52dc7d13fa5b0d40dc5c70 2316 coq-bignums_9.0.0+rocq9.2-3.debian.tar.xz
.
70695c
Standards-Version: 4.7.4
.
70693c
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib, ocaml-native-compilers
.
70690c
Version: 9.0.0+rocq9.2-3
.
70682c
 rocqide deb math optional arch=any
.
70679c
 libcoq-core deb math optional arch=any
.
70673,70675c
 22d5699fa301ef0ea7204c1808b65b15cbe4994472789d3f98c78a15b25c6f1f 2479 coq_9.2.0+dfsg-3.dsc
 6d04561edb60ef68f5cf73c6f6fdb25c31cf6bf0c96f01fd0861f0c99a9c49db 3946088 coq_9.2.0+dfsg.orig.tar.xz
 21a3302f5b5092a0f8970f08367dd4bf44ed299fbc676d541e74d69c9aded33d 28280 coq_9.2.0+dfsg-3.debian.tar.xz
.
70667,70669c
 e87c33e910eda7fec3071edc574f84cb 2479 coq_9.2.0+dfsg-3.dsc
 a33dfe089575d328913178abf6c5b41a 3946088 coq_9.2.0+dfsg.orig.tar.xz
 0ff59c0a444f38ad2c5805d8302b3e98 28280 coq_9.2.0+dfsg-3.debian.tar.xz
.
70664c
Standards-Version: 4.7.4
.
70661,70662c
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, 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, rsync, tex-common
.
70658,70659c
Binary: coq, rocqide, libcoq-core, libcoq-core-ocaml, libcoq-core-ocaml-dev
Version: 9.2.0+dfsg-3
.
863,865c
 144a2092e12e1b810e5603d7eee9c569b2fd72eb0960c4a0239ba8cb6784f1be 2106 aac-tactics_9.0.0-4.dsc
 3accc8ad6ef1269fb926afbf60de6886811c5a74d1d3b39a01804aa8b83924c5 70184 aac-tactics_9.0.0.orig.tar.gz
 a95d84f434c3350815a29726394c0d8dfab88ff68653ceeeb812a1d38fe903ea 4004 aac-tactics_9.0.0-4.debian.tar.xz
.
857,859c
 fb4e7e0fcfcaa0ac3fffc868d0911feb 2106 aac-tactics_9.0.0-4.dsc
 b8f9b3f4700b60d26d4f802ccd96618e 70184 aac-tactics_9.0.0.orig.tar.gz
 cfa3fbdea5d46e8c127396d97d321cf5 4004 aac-tactics_9.0.0-4.debian.tar.xz
.
854c
Standards-Version: 4.7.4
.
852c
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib, ocaml
.
849c
Version: 9.0.0-4
.