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

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.5.2-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/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-ocaml-dev, libcoq-stdlib, ocaml-findlib
Package-List:
 libcoq-interval deb ocaml optional arch=any
Checksums-Sha1:
 6f7c5b4771c9176212fe1fffed76f46757f61719 254669 coq-interval_4.5.2.orig.tar.bz2
 33f0f4b615fb281ff61e338e01b63816a4708f08 8696 coq-interval_4.5.2-2.debian.tar.xz
Checksums-Sha256:
 d58ac42ef90d38d9cf283a4244c77c2d6d070d04c5c611568cad74ccf48ccc1e 254669 coq-interval_4.5.2.orig.tar.bz2
 11683d8cb0098b04972f590bef476cd65c4abd349b7d23db28e92641dc67ca05 8696 coq-interval_4.5.2-2.debian.tar.xz
Files:
 6c4c6ef6b01069c6cfc9214046472092 254669 coq-interval_4.5.2.orig.tar.bz2
 db933b081328f8d4aa37db4d8ac96d8b 8696 coq-interval_4.5.2-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMJ65MSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRnLEP/0M0xBfMwNGHKnAj/BqfG0EqoBDIl6ED
q/l+2PVNQZ4pwFgT0oCJr2UgOAU+HUFFax5cl9fNYFQF6sg5o3ie7aM2N92zdwfC
WtM0N0HGMRS6aXNbvI0EayfTAwmQBmb8oAGNv2zbKqjHigR38r2rxjimALSecpmy
YK8I6QhGw0pNPlwdC9nkLiwH4HKJOF+9USQYbKwrE+ijIxG26Uuc2c4JSYM/N6/F
dSKu9ya+TwBX6WcWVZWnE+Wy5D/5srx+LqTntcXCT0e1/VjnZKUY+ni69B1dLw1H
OHS6WpTWFqb6zj18whbx7Fw06vaXypynLw0tEchlVTfusrT0PDUDOiRNC8lKnxKZ
Sacu8vrwcyTBnrBXiTeVgeL2/bRHASuPEmzTB4uu3mig3pu+o80a8PrMcfPSdbJR
M0LKc5HPmcv7HdrdZq6Tg+vc6GUmBnKUnVAHpaf7jUGdzVS2zawETcw4ONo6lYXC
+tHpvVIRye/tAGpxbLWhFA4k43PNFAP5rKbXK3lRNJUQvIFMXw+j4o08Nq/lgwgH
AB5/JivFuaENXbLphD4ErPMhPkIa+T/50Bi5/tGfmjNTth+9w+CmLfOzCJQ2XbiD
HZjHOuxtrtt/Jf8uxfgSJrdlJ5jkW80iIIVHz97NR4odSVztPGL79j0HxeIc4ifu
+SQUhbNfBs8C
=OZFS
-----END PGP SIGNATURE-----