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

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.11.3-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.7.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 (>= 9), 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:
 4f3af399ed7dcaecab388b59d02c9c48e7f6fa7f 381004 coq-interval_4.11.3.orig.tar.gz
 88f17c3f1200dd2a801144b1f137f6f208eb2dcd 9484 coq-interval_4.11.3-2.debian.tar.xz
Checksums-Sha256:
 c7cbafe6ff69545ff04ae98ff1ea05a31cbc33a910ecdce29d3cd8d38a478358 381004 coq-interval_4.11.3.orig.tar.gz
 d31db471c79b6c84a29ce1a2bd2e6b27113b264658417e1d7182afccdaef2f5b 9484 coq-interval_4.11.3-2.debian.tar.xz
Files:
 bd08470ff301a3f4f4f8bc854a45c316 381004 coq-interval_4.11.3.orig.tar.gz
 174fd6c09a51694e7f5659bafe374edb 9484 coq-interval_4.11.3-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTlOQZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUYzkD/999yfw1feIPGHGAJTWNAkh
Et8+xFkr2mYyj4csB7c+3q3I3Mmt0iCSAGEOOAZoZ1Mlb5wRT/0B2ciPQFwRs3BC
wBNesvwYMZhLngBJgSMZ3GPbSv1QRikZYRHKTYAfXH+KP0RyH0m4Q+9Q1JAeML0I
TZ/6y0v+8C77H4XH1SLipEGtjYFWls7vUJ46SRXu4AFltSmE2LwogoCTZsV147sc
5L+lRBeaq/FW2bEGQNHmwu1y86RAz09zU69nL7N3pSCfsZb8FhgrFE8J50MgfKUT
E+qZNgeWi/D/eIPnFKjpaChbtaT4Yip08g/W/XXorBYltULALHf4ZiusSIWMhf9g
SY8rjblBSs5B/FTlXc+4LnEEMLIArdG8Bs/ttSiN2alT/nQnZ8f9v8xZ7elK6Bot
Nqlext+r9mDyzJE+eNM8mwRM16qCSEMayWM7HWlEtymGNYCqcnDa+4Al1Ur+4Hg/
ZNBOJqLJ8yTpWMp23JANRrGEEmlvM3cF/NBQ4yQjqxrfuXfP9rARtLx+aiGv4Kr+
+R+3kc8GGujz5CdDsXomtMQEQ79SaU2kAh+ZGq3NZXowShtrKGFYx7viJQSqhrQG
sULnYbCweAip3GDnv+e+KUwoqm2ag+kHel1gs2S/gIv5jF30ArDDcWTaDqPIlz5K
X09jYm/mjXEvNSVt+dIRBA==
=qmnt
-----END PGP SIGNATURE-----