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

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.7.0-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.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:
 f9b22b532d901fc8dddeb6f62c673ca88bea9f5e 260975 coq-interval_4.7.0.orig.tar.bz2
 d20949a0d98870d361db2e0dbdfecf418a03fb58 8828 coq-interval_4.7.0-1.debian.tar.xz
Checksums-Sha256:
 bf9a6d6fadcac7706dee3bf012ad2393e9324f4501305e62bcd89e9c78820028 260975 coq-interval_4.7.0.orig.tar.bz2
 3e1f52f94d6a8924c29e3244d90f1009f66f46557ec786ec4a3d67b745e26b7f 8828 coq-interval_4.7.0-1.debian.tar.xz
Files:
 281ec2a3721f822195eb172a0efd139f 260975 coq-interval_4.7.0.orig.tar.bz2
 06bb513d13da16d85f58a384d951ac7d 8828 coq-interval_4.7.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSKn/0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRigYP/A/3PRVbKpr8vDVdg8U3Ov28DPaTysDE
iUAS0wKEfQAut8ps8CZjw7En7XwxeiGPB5MD2KEPfDI8bZEPLWWaRZNk41OyndWN
bszSg2Nv2IFKcgrGE5MyTtxcxXFYqhrb0YIvl0z4qnu3ydAlgRM5ZhOJRbUcm/KW
mSooVN0Kfa2zUq2e41g5DC/5uBXxlkDHqW4tcguwVtMcyt0vDxcK0y+fOh7Tb2JR
aO3W5lXg9PQi5RW6z8obRyIsNCGAy6y9KG/4mSFp48Cj9ZSlixhKpEESv5vsuRTX
ceAjpycCqXSJNgEuhel61nvf8B3AlSgkzEHyeZslrDGa9hXOrkys/EvObG3oM2KS
g9UjYY0W54hHv4kWPk1B8Gs+pxhm6KzhYKEZd5KnLP2FgTLtR0DtQIkAQZeFa8PW
QDIOphViVXFFw6MFP+1Gzo6a9J2kxIMe0tJiqCqg/whDD8E+SzwizGwBZ0WmSwpY
Z+hTHrGCeLyogKt7LbtA2V4nO5OBCl4Kj+4AOllRBAs6JD7ndI2aTWGFufjMgvH+
TSP+J8XHFxPGtueUkGihB4tFGSGsR/Gpml8FNcZpSl1tAfC9Gv7DcXZzhAn9b1ub
rZyRPUI70aAvn7FpQrB9ss04djDZHxN6NrHnMpTDtH93MZHii0CritHVXoh3GtTV
vTN1sJK9mv5s
=OvdA
-----END PGP SIGNATURE-----