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

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.10.0-1build1
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.2
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:
 b5fe1cb12c7303fc692dbdc8fc48cd3b1a6155f6 299750 coq-interval_4.10.0.orig.tar.bz2
 8de1d33a131d292d24e18805b3f6e9becd4dd2df 9272 coq-interval_4.10.0-1build1.debian.tar.xz
Checksums-Sha256:
 b2df60516c66ffe239e43738fcf9bc234741e1ca554409efa6a44491e640852e 299750 coq-interval_4.10.0.orig.tar.bz2
 d6197314ee8396895c9c1fac7a8b437364d668d8d7a781312f180ba62f39bbac 9272 coq-interval_4.10.0-1build1.debian.tar.xz
Files:
 4015bfff66a211ce3739fd4de7e5e6af 299750 coq-interval_4.10.0.orig.tar.bz2
 a45fe72ed0867cd6040991e7c2154277 9272 coq-interval_4.10.0-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYz9PYACgkQ808JdE6f
XdlyCRAAptpUmJLjyI2UHSlNL5A4Op0v0uhhZvUxqU2SRhoVdCul/HAQ29dt0nR+
8JQ2JEOawSu1XVxzCFsXuGVQLIrrdsx0WRmXwVYKQYEgewo9uaSk5mmgsKoLSX7V
gAmHoj+L06WRFMnryNchJgRosU5iSa0Aq3NAQ0vUbpFWVWyDYirMQBEIbyGf7kYb
cqMhY3CKddOe5IqKZ7LUCyjXDyBc5zhbpJdqF0OkGH6aHpuo2tmLliWOImlkhdXu
VAy4tn5SaQDeebkput94j1BWTpAQ5gg/j9CKjdDLFY/LQPtNvpJE1kYN+BTlQwJC
xDyf/yEDcobFxfpWUVgVXQg6OiUlKSGugXznS4Z71PzZw0F2PBmbouJV2vw/y29c
miZHtkqWcI3q/h1aMYfgTGgyuMIJHJobwm6Sh3tXokgGOP/IK0CHcPaJ9okfQDto
RwWmecHMcv5p1hGk3Gl1H7B1nH/syGgX5sX4266DR1oQG5llR/bk8jg9nSKhOTlv
z6ysvgbpQvuP2Ycrx2uXS3nusgIMoD5c7TXIE9tObYNNPR0tVet9F+R/QrVlGhJo
4hy4xBD2yzaCQ8vdl6QT41uSjjbxhVTWOc6FlfLiOiGnL5X8ek+FWhijldrNrKIx
MaK63DYPWnG2BVG9RGj35igNtshOn4BvKY7g+XNr8Oa7AiozHM4=
=ECco
-----END PGP SIGNATURE-----