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

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.9.0-1build5
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
 52bc0ffe430aa01af1110ec0bbe9337c6f0a6635 9448 coq-interval_4.9.0-1build5.debian.tar.xz
Checksums-Sha256:
 049e6957fd75b1026d3c0a7e786291d25e92870184651449226862ee03f668b6 282047 coq-interval_4.9.0.orig.tar.bz2
 c92a8a9764b79ecc829c0ba6f1c2e1196e19619bedbc34136df22d28aeb6e405 9448 coq-interval_4.9.0-1build5.debian.tar.xz
Files:
 5a6af473def63c486d12e04a8a556330 282047 coq-interval_4.9.0.orig.tar.bz2
 5b3289288094a7346db57d50f6d06b69 9448 coq-interval_4.9.0-1build5.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYTmhIACgkQ808JdE6f
XdkBSBAAhSCrt2QdHOdLEvQgL8ZQhWztYSqL4PwB+ho3+oEx18Iur7J487ZftkGd
TeBNqx94TpgUz2AYN59OlEmOndTFOywYk6b3G0p1OK6C5XeAZrJnklVN17iUpIsz
lGil4kHWd07New4fUITXZUnqatZTq2neB2CygzhTAy+6cAQGnZw3AwUgY9dvzI8o
FoA9+6bSTMLSrMr+ybiOgo4UInCIUFnOm2LJnZZwD9hDkp7p1ctklSLvrCFBE+6e
fry8TZDrxyhY6PPtqcFsMPD0vNBospE3Edzp4YuTldRAiaJVAOLxQNtJmTM3L5nA
93f9g1wGBJhkd8VNWcplsAjVC6B5RbXHoz4huk2BrihiSjiX2Il4kg41aCJ1XM4J
YPQbfciOjDXsyC9pd+fbASCiVyIXsVB8nEmjbS2m7Z2kkNLFEVoG51UaAXayE8Zk
TJgce3Zn4H9smkxjNlF1HdCVCfWb8FfgMShvTBNuuvkEyMBrmBYNkmwwbz3nwxEJ
hJ+YB0BIL1rVHo9iD9rcAL14y5FCYYzPpg1zq3yoNEz9965ZglDQh4ahqzN0h4tc
kU6nlTxLBO/znew+TqAkvFJmlur+RdlXUMjm6H/OPdt75xFtlj+7UUQHXotEiUOi
IzMgT77hI3MDSKmMGlz5BOHacRi6WaWpWgRQQ5ArNw+JDBOYVUY=
=w7tR
-----END PGP SIGNATURE-----