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

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.11.0-1build2
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.7.0
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:
 e366ac6fffa1a4f3bd943a0e4a639877c9fe1096 301998 coq-interval_4.11.0.orig.tar.bz2
 b0dda68e5ccce986df0d8494ba138ed91f79d846 9348 coq-interval_4.11.0-1build2.debian.tar.xz
Checksums-Sha256:
 40a6522ecde1976280167ebd5013f9526386ccf114b3ab6baadc65abe6f3f663 301998 coq-interval_4.11.0.orig.tar.bz2
 feac4f6a255b7a6c39c995fe466ab0d6c107741ea99a2fa00f4822950bdc037b 9348 coq-interval_4.11.0-1build2.debian.tar.xz
Files:
 e4a529b5883ce16c9fa2a240ba81dbae 301998 coq-interval_4.11.0.orig.tar.bz2
 7b4a090577ebe4c8bfc1ba415471b363 9348 coq-interval_4.11.0-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmaBPekACgkQ5mx3Wuv+
bH3Tpg/+M5iemKUAtBhTUYwWQkG61QoY/Vn3MzDM8//DggsdR8cvBx1S2wSy+x6l
5KY9cv8Q/I92D3wEn55H6ZpBwUp7PahMS/w8KD5vpEzcyu+Uum5R+YRl1Vqh4PzE
2GhtRuccqVRVnTbmJKdv5bfhWP60jC7xYRVdx7x5SyZGaXEnlQaZt9o5Kv//92Fp
fMTN7nQ2NcwGsMb8kru5J89hG0YrMJXhm558Ax27aUr/YUBg+UpB1wHqx8WC6XoK
p9HkYX2zY6kYBxpuk0QS6cIfT0jF0H5QHS6XXe1ptYmKVewRGvJBYQG1mcq7sGEi
efI+//TuLtmA9frTnRia6pLxKEIM+a4PMiY7LuYo6T+dCjYygu2Zrb2py+WvcgY3
XNb2HCeXtId1qRGKImglif8EV1gpOwaFHDTfCKhJwoihFCAu60mm8MLdxZDQvoiH
n85KGRFFr8kQS9PD4/LrwGr6eZ7IxV+liw3H4uCWU0c0Z+VOiBdbgUgEyfr19zgZ
/HeyWUR3cigO0L+mxNDa6Gvae1ygdpD/Dm/eeRjJVvyeVfCEGkmIUiksiqB9d1Ny
Odfh1QS/ORyyq8Mb4eEBVQ10ax7SkA0UnoBbv96ij/uBd/dlTCjWYdskdKO5fklE
URDDQf4Pn5hnSaep/hqbjtQoDaR2e0kHoLPyjc6Q7snOHQQrh/U=
=16Vu
-----END PGP SIGNATURE-----