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

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.5.1-2
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/interval
Vcs-Git: https://salsa.debian.org/ocaml-team/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-ocaml-dev, libcoq-stdlib, ocaml-findlib
Package-List:
 libcoq-interval deb ocaml optional arch=any
Checksums-Sha1:
 7eec152685043bd5a0d3198635fc045284911b71 251894 coq-interval_4.5.1.orig.tar.bz2
 4c0f15c352fb84b1670a76b19d18a0fae71fa2ce 8324 coq-interval_4.5.1-2.debian.tar.xz
Checksums-Sha256:
 f58d8f45c298d13b80d7fe4a1833ebcb91f80ad01db443909b26e3e375e26612 251894 coq-interval_4.5.1.orig.tar.bz2
 244be884146cdbe29601758b0b1fd9f5ec80dfe4c86937a836e4595e1fc43683 8324 coq-interval_4.5.1-2.debian.tar.xz
Files:
 b8a2f131766cfeb5a96c498727d02869 251894 coq-interval_4.5.1.orig.tar.bz2
 00f252421130e0a8a4f1c2961f36b942 8324 coq-interval_4.5.1-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLWW0wSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRLmIP/jEjRElRAXFCVU6fLPBzTG4/cC3mOaTm
pHsxISbrHHMIMnbOvH5Z4KKlvAeQvcYbv0ZvGGj+J2NAvpO+7y+qVruw6raBqt0I
7EzpKB0IcMVF2fei0aAw6uxl1tA0P7No9JH5uoSfdmI4bJ5RrWwT0/pzeKauPA1x
RTFrQaxk5rGOdnt4eTM+KKOMUbivfGx1DzKQaJCBEn7GlyAT930XMdmJEy5jOLQN
W1Jxb1elY5CAAOI8LYnhxJP9F5asG/qeAeYUteBMWBuuN/sX3bGxMVGbba7GQJ7b
2tPB2l4WApYIg1r1MckjVJ5sX6Nw7pMAfmLCYIPL3ybdCUaL37bPKwVHG6X/aoB6
TbYIiHMmho8HJ5062BKGa2mb/OtP68C5zdOK0KR5B4JjNF/libuJ8orh0gtgPOla
p5ETRc5XjuP0CS211/k4TyOdWAtQ7yYkK2pIJATT+tmTUEHRfJxG8Ry1VV72mdkr
C2gLSRI621ujRBR5b1OPUBNnXcMdKvn+IXhgCxYmFAEYu4/paAx8BX1eFRdcbnSn
j+Re95oOUdPREXQw3Fo3mHpzZfFVlQ7Oe6f71D4dcSnzP/2x4723t6PNNNyu6qva
263wVA7fYbFouozbzs5I1nwlscJwixg4ES7HOSdgc9T5hvOokoZkYnh9LTBD4lAv
noIfWg6J/zhI
=c5oo
-----END PGP SIGNATURE-----