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

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.6.1-2
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.6.1
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:
 2acd2a45495f10e08aba6b9520eab97c8870e04d 259459 coq-interval_4.6.1.orig.tar.bz2
 10effc2812f48a56c343928ef229ac004d0712dd 8788 coq-interval_4.6.1-2.debian.tar.xz
Checksums-Sha256:
 29df28bab9a87b41995f2d4753a56067b3a4047ad0f1386c378cea23cce4a4ef 259459 coq-interval_4.6.1.orig.tar.bz2
 ff8882a8d2bd92bbbb60e0ed71759d4b052d82566a2693f22ad78baf7cb18f6e 8788 coq-interval_4.6.1-2.debian.tar.xz
Files:
 5d5f13150d2634408f0abde20508340f 259459 coq-interval_4.6.1.orig.tar.bz2
 16c669c0830a043ba032671bbb78256d 8788 coq-interval_4.6.1-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRJuUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR4W8P/1xoiPe08HaRDZM9e3pVcx1+OvgVQYMH
RuifAhPpoGfZsPnVmwRzc4ZWNbLG5KH/SjZ+1iJlQaSNzpFBAlsLMNJGc43zUuzj
FE7mM8F+EGmUUTH1KqGqOkDOi8G0LOGFTun5WIYQc8btGFIB6vyAU6kpNR44P8xs
0oWdOsLweQe/Vq5e5tCJOo7kK5QDD065OmiW4HbHbF229QKJVarakBYaT75DJHR9
HfMxzoxpjRdh00HS0daSJXIu9eJBc7Maip5Mr5aDVj1MDdD7mnb77SXlKqbdcXQz
flcE97VMdi9+uxOx3wS9FgLqdFtkr+JE7PzbxGqZZHD3LwYghRuvqtT9UZXCZIP4
RnR8EUkgApdZnmfPcRvRMdQ0R+SRvZ0GEfPCWbhw5+JOTUpXsKndzuGE75qAzGPy
Cu0UReM7Vo6dfma0wdmAWr6hUHlTh/M6ad2J4oRLyKb8siTa7Xm4nG6rSxV/ZQ2N
/M9bTU/7qZ+FJwkqeSMhW3f9KRi89HNBiWGKe1Y1RrgEVKjGMRHL0baJhjxn13CE
S/UXH8n55g/oePoGKyDvaRXfx0OQ9G+CUXQZFQb/LY+SHRQ+C9MQF7MK4ZXGRE55
MTNyJdzUTU36rX1LIclf6yGVfmPsBdDJ0tJLtgD3xad8gv8e5VkUlVHDWqVBAqvv
2Nr+rbs2iMjl
=t50f
-----END PGP SIGNATURE-----