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

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.6.1-1
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-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
 bba98d147a08c3de87f82827d410fa0e994010ce 8728 coq-interval_4.6.1-1.debian.tar.xz
Checksums-Sha256:
 29df28bab9a87b41995f2d4753a56067b3a4047ad0f1386c378cea23cce4a4ef 259459 coq-interval_4.6.1.orig.tar.bz2
 6ff45bf7e07c21f51142c605462909d94a3fd9775d1400c8a0ebd049b8327492 8728 coq-interval_4.6.1-1.debian.tar.xz
Files:
 5d5f13150d2634408f0abde20508340f 259459 coq-interval_4.6.1.orig.tar.bz2
 06d3a515d7d801d25935d2c8be3a1662 8728 coq-interval_4.6.1-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmOYSi0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRoqkP/1qx/QFAppcKZ3bhfG2Wg5yBXV8A89uA
lnwryxZW616jQmo/Et5k/3jHZHkMWxlX4KRvKLasQsKLtU7158itK5Bd0hPY/FKz
zodhctmFE4D6E8SckvreUta2zYqU/GJBXO2swWpk8JnFq8qaI7fTp1L8om5PbIwQ
3warFlqe0CIGaHH/QVsmnrd/FzKwBKmXLUonqBswkGTMiCSCD99qSVvpEhWDBulX
OwYuYHoBs1xMM/bvlhhsXl682JAU1daN+WNo6aoEBl7hu8AognTw5IoADlcQMCfo
0yG4EY2ulgGNHXAcy/zHSTBeZr3KhGDjjSd26ZEB/CM17/h8Zqz+5NWBDChuGjbk
v2XGgZUh9vEAedSyjBT8zBqHGjFxU3QUQjRa9VYZJuTh0hzzP/iS9XLimLxNMl0U
w6tne4RcFiw1oR1+N9zBKUUnxVrdxAbrFEMsMNQEz1czXYADO5/O6wKL5O86Hl1q
oXvRwhBVwG+0pycDzfo8EwwVdGoMYIz6iWB31W5VmjzUf6i+80LizteTHRGmeP06
AjhRxyMlaPhJkpLu0S6pUbT5i91xrEAKfdhaactRyqywmj8v/fuhQUWelLnUL1jY
5MpXF66B7I0mf5N9bohW9oivgZKveIe7RNGYbUbf84i1z1LqEXuDMiFSdrOj+Ez8
j7GdmHS1zoHC
=nJt2
-----END PGP SIGNATURE-----