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

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.11.0-2build1
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
 cfc3e228f2830b92852009b0c55f96fa5ab6df0b 9416 coq-interval_4.11.0-2build1.debian.tar.xz
Checksums-Sha256:
 40a6522ecde1976280167ebd5013f9526386ccf114b3ab6baadc65abe6f3f663 301998 coq-interval_4.11.0.orig.tar.bz2
 098a6087bba86d2243a1fc5d57f648e99448dc4ff78577d463a308b22a616847 9416 coq-interval_4.11.0-2build1.debian.tar.xz
Files:
 e4a529b5883ce16c9fa2a240ba81dbae 301998 coq-interval_4.11.0.orig.tar.bz2
 977056854f068f1ff6288161e1967e92 9416 coq-interval_4.11.0-2build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAma2EU4ACgkQ808JdE6f
Xdk7bA//fOX7+KlZLlW9TwYKm4DIfg/zHvYs4kMtwYjPu1C28EDYsbiIuxri/hm+
FBRdBoY1W7U9BoU0P9MkSBaaujovuUuqGIEJFqGT6fM7WAY9+7/K2j24QTpUfVwP
GUaqB/NDg+k3SIF/TOtOPAPtfM9jOq52fwuN5VItAimfUvpB39oAiuqckoqtsvtu
z40vP3aVIeBIzyDHYWHqg/F0QkA3rBLcaek6RyLHgVVS5NbWnVaMAWmXpiv06wIY
s3Z9BG6PyerB2gmuEWMNNEwDVKcTOnpn3sZdIY4rGILBIM9sSUQl0OeIz562g2fz
56qRtUr+tGeQNeBJpXUdLe/u8XRm1Jf4MyDyj0Oqh6WQxHbRcvybbcdT/d2mJkRE
XvOcxyi17wbb1lQfMKTZHnCbXWtXB+jj1rQL41MAoGivFnvR73kagpt3V5vKQ9KE
CsR73aKWBPZJ4JsQGdKB62wXm9FIYpC5ll25reP3qP/zfAOJLMrvRSR+ackB/tRn
qx3w4bgG1aRP2KrQwu/V+jVLQ/90DlWMnKHZjR2F7MFjD1D7zI1PSFLJZ7UbdizT
wEUMTIVX+tifheADVpFyhm6My+EIkBdm5tdV5ZKZBp5Fz/AI7zYZWm3y1era7nZd
e4hxJG2G+Zn3TbzUJKw837jBMOY+xTk2v8GRXegL3nc+eEgUNp4=
=PZqF
-----END PGP SIGNATURE-----