-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.6.1-2build4
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
 7f3f45e2f5b9f50a156afd4740381fa1839d6700 8888 coq-interval_4.6.1-2build4.debian.tar.xz
Checksums-Sha256:
 29df28bab9a87b41995f2d4753a56067b3a4047ad0f1386c378cea23cce4a4ef 259459 coq-interval_4.6.1.orig.tar.bz2
 e563f91252bbee0a46ccc8f5e3c02db607b64c4648b0ae6d7caf40d200418ba8 8888 coq-interval_4.6.1-2build4.debian.tar.xz
Files:
 5d5f13150d2634408f0abde20508340f 259459 coq-interval_4.6.1.orig.tar.bz2
 2b9b4b12766313dda8e28c0b059fff9f 8888 coq-interval_4.6.1-2build4.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmSILGEACgkQ808JdE6f
XdkDsBAAkzfGl87fkXUeUO5hgHCyGWz1PBZWj3XrL0MFMJ6gkGLy6Njst2hEZFwQ
1ty0/YtS5t/LbvVvZrfrFtu6R0i+YGOstMv7rFRZfvv1poatQDlQnUtQreQfvf4s
b+8puAWwmP62VOLjcfNano8nagNbu3xFFOMuHIGEIo1C31PrDdDnvQlShZIF++5P
UC5M/a8eI7xGBBvfCTCxCsW94w8CKpfIyBXe087GPj92tHOrfRWbnnGhJ1oT+gNp
7XvPKPYmv+Cub0UY3kDjEyOe/CbwmIVqFT1SmM1UNKZkV7kd9URgyNm6XBCcXreY
yt3cbItzGxDsN2PuOj5ptUhLvtfSr25+V0bq3DDFDm0QwwL+3tnd3HYHrwINkWgu
cTU8dssmHGBLQtrbUVxwS9zBPr7XUKtfrGZmKN1/4dSUMvZmY2E6rxcS3jT0MjLC
EnjhHNrFrS4JQ7rW0DX82YdCxUNxL0QSlhUeEnIOgjOQD3rjW27O3yTZTreWwxvt
k2AMw/tAuAIAhOyw50pbcncFMM/HxPXoZOJMaQxvKpjwybL/hgFUMkjBtViKTF0L
/q/I71wawwd3wmrzJOycaOGvEWqLkII3bl6ulNSeLwNF1ojB2dXb/cwHwSppNmQa
rePEC5jkYSzsy6SV7XZceOc1SQDk4FTquFJ7cMeLHMWiW2Kj4J4=
=xWBV
-----END PGP SIGNATURE-----