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

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.9.0-1build3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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:
 ccf2383ca606268cad3b6f7e1f48ff16ecca5ee5 282047 coq-interval_4.9.0.orig.tar.bz2
 09bc36865967aab1f2f9db3fe88687c9619c549a 9412 coq-interval_4.9.0-1build3.debian.tar.xz
Checksums-Sha256:
 049e6957fd75b1026d3c0a7e786291d25e92870184651449226862ee03f668b6 282047 coq-interval_4.9.0.orig.tar.bz2
 cf7e8be9513814dfe0590d69a9217462cf55e98c714b7dab48a5bcbfddc2a846 9412 coq-interval_4.9.0-1build3.debian.tar.xz
Files:
 5a6af473def63c486d12e04a8a556330 282047 coq-interval_4.9.0.orig.tar.bz2
 f681812ad99480eab8b589240fc5bb6f 9412 coq-interval_4.9.0-1build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmX/cEQaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz0dtw//V3Bd65aQfJA6ynqie8Y/
oyV8G+y3HgwvHIzJzq5JejAt8vtyREfb2l6XbN2j4PaDGUfw8Z9iERV/ri4sjHo6
TdHu5IQcGffZWMWW/7AO/4w8UJo1Uc0+0BSrDRaeEyUeW5wK/0oV3FI4EIWZ4l/e
U/umd0AKSMkHxcaI0150IDd6xHgC7d5sBrcTGFUpdKBKpgnv/MCX81qLMoXdbXax
OFH389MAt3dR/fzwJ/JOdYCT/R046DCYq8OPOkC8VPh5aoti2BYqBZCLHGOYWovn
ZZYYElOF8QErqbnn/QhrbRylG6vz3WbnHZ7mj2h66X/SnhdDuLq9dFpjS2QJqdBR
9FHE0+Hac6M9+gCb5/LMS7yhin6GycJQ4Nn462EaeZpYsmq2dTT0Ld6QEDXBzWJO
Bz2AMEUGitmuaVTjdYv71WG6Hbx1GiY3PMws5XuevA59xbxWKOQ2QEO3e/t2Q387
m+eVGMzCX7CcsXvSC0AYRJh3zvoV/4Ga8jcC2BsIPmE0cl0uQMLX5ciHE1araRGw
GM95P3nZIMaZZ/STvU7XKJ+H2sVE7ssuRp1Pi/INWWX2wfBt8av/vjlSjRJnk+Q+
Fopsu/hf/yWIlfl4P9n2Fg3NWnH9NeiNaRdXwBsE/o/JyEis3Q0JUUeofpdlcVl2
V7YQvBrZ95xvHKK1SATr0zE=
=6lK+
-----END PGP SIGNATURE-----