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

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.11.0-2build5
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
 9e87d357a6738d5bb7d3e669c698d2ee61edb2dc 9504 coq-interval_4.11.0-2build5.debian.tar.xz
Checksums-Sha256:
 40a6522ecde1976280167ebd5013f9526386ccf114b3ab6baadc65abe6f3f663 301998 coq-interval_4.11.0.orig.tar.bz2
 5aa9ea8e3f21add0d3e38416be88ceb010e7bf6e72f24a536073458823041caa 9504 coq-interval_4.11.0-2build5.debian.tar.xz
Files:
 e4a529b5883ce16c9fa2a240ba81dbae 301998 coq-interval_4.11.0.orig.tar.bz2
 fca39977da3e683ae4304f9aa9d37c52 9504 coq-interval_4.11.0-2build5.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmbppW0ACgkQ808JdE6f
Xdk5yBAAzsaubgF122P6vdeomtR/YdeDWN3kNIhIqfYRCgt8k4eWP8D7APgVo8ex
x3pnbx3jHtsvTuMLJhwy+1pcyOqUKIbrLdjmsmp2tpelvNdjdfcPB1RFZ+L5yIY+
fESWMKt0jkcgBUSdRSVKZ/6EWmypPYTnYt4dyw4Ng5aJal/GrDw+TR0blKr0afak
x/uYeq8jzGIvccuNstCLpGCmeLPxeVrvQuPUlu3HvdMxh47UJELraUtgEbTBw8mo
vBTFrUOskVmAU10l7oEVb4yFT9k1o0sCJ+pVMHfxMySt+LvnNoxb4LFo3GXE2ABc
IoRHSzjAIjwOcfgogiRV0bYB2NfaxWxpPE0gz8CSovySLdO3iqEmuikGQcwwoLwc
zHh8NnybmK6uEyc5Zyi+1bkmkPT6c962B4UY0olDCQcofFeupO2qjj6zKjWWzVld
QXQxPTX+eF1pvwAo3wur0ThCV4Z3qH7vPFGMINeMgkS0eoeuQLAqNMd0bPERq/Cm
hVkr5dasqEg0UuCMO4ljcTM/Fjlu74lbKVQRTesVvf9tYvGKGTeYouK0LT/dLMy4
YBucrFqvTdPgi6WLTZbxXpmpiGYT6ZA7+VE9lZw8G6PmUzw30GAc7OcAs9AYEA1S
fauEVxL4qYMS0TuCVsDOOky18VT+/yTrgb4YzaTdKR9oCJtPb2E=
=OX8Y
-----END PGP SIGNATURE-----