-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.11.1-1build12
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://coqinterval.gitlabpages.inria.fr/
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-interval
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-interval.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-bignums, libcoq-coquelicot, libcoq-flocq, libcoq-mathcomp-ssreflect, libcoq-core-ocaml-dev, libcoq-stdlib, ocaml-findlib
Package-List:
 libcoq-interval deb ocaml optional arch=any
Checksums-Sha1:
 dc428df35162294c1a2a0a9c0dadb9e43dc2be89 380862 coq-interval_4.11.1.orig.tar.gz
 598390399622d8caaa33366802f12064567d01d1 9644 coq-interval_4.11.1-1build12.debian.tar.xz
Checksums-Sha256:
 a5a76baafc1e7cf0b2125f992c982375f864d4ae808fb605a9ff3a73a5c0bf4f 380862 coq-interval_4.11.1.orig.tar.gz
 199e26d0fd55e3af39cdb9fcd7ddcd8d9aaf2fe701352741f431433a824966b5 9644 coq-interval_4.11.1-1build12.debian.tar.xz
Files:
 84fe59b6aaf35174798ebb6b826409fd 380862 coq-interval_4.11.1.orig.tar.gz
 f5c47de0ba77afb8f3ceb3c82c646849 9644 coq-interval_4.11.1-1build12.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmj5QtcACgkQ808JdE6f
XdnkqxAA0Rf5fngqI6+zRGxboiXZIYdCcCDW3RpOxAHfmNppoWaL3YpEHmB4D3Ul
v8npu9J+0JVTcuglwTfGj2aMcWCnm7AXG2/BHizbAxgXgqbSvagJtHnt05FcFbU7
W+aLPlTLYUtD6DqOFgjhQlLoABrTzsbRLqWYCo31Qz3FozbXY9CmmpSluNEP0nTW
aUAzEb/kc9FySHM+F4RtaczsOzWYMcwr7mcJ9jLkmB9www67hZJ+46BCR82d2dww
BcDR0ZGdFC88n/oaqwrlDXNeXS7bNHM95Sk2oA4AcnSFxHmS7Di071JndoKTckhb
Kr0hE89J0C64Qe+Bt8sbjoCCHxqIItfnKrdi6vKhAL4DT2BV4vszu8SC7mKWVvJG
5357f5P36OxiTebuz8rrQQlTfJnpzDWECKPJQRKJYqfKW4UJwa3wUiwCB0ApcS1/
vsUwiqgI2UQBvyaIgfDh8aQ8HnZSDPWcoB6Df+TPr6KzJZ52XdPg2vJ1a1HFwsAL
sSVAYfjCqgdwFZ+7asTBqs8+Ht1K+fykh/QdvxADBT4RisUVagWiebyhmYPfCQcc
xt5FGLu0EmHpC7ngwCALWwI2MSqGyg+LRG1Cn9N7EKW0QiKjOx3dE3JUIusnKZ0K
galaxGQ9Rf8d71uHqY4N65S3BDFIUkdxSkqlu4h6qOb8fDfhYlk=
=S4Ou
-----END PGP SIGNATURE-----