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

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.10.0-1
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.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:
 b5fe1cb12c7303fc692dbdc8fc48cd3b1a6155f6 299750 coq-interval_4.10.0.orig.tar.bz2
 7fa16896223749dec18bff115d249c29feb912c6 9216 coq-interval_4.10.0-1.debian.tar.xz
Checksums-Sha256:
 b2df60516c66ffe239e43738fcf9bc234741e1ca554409efa6a44491e640852e 299750 coq-interval_4.10.0.orig.tar.bz2
 5a2d9495b2366a4826428dd78a0a03f9bd6292f1c60765add6b0c1ab85884dd3 9216 coq-interval_4.10.0-1.debian.tar.xz
Files:
 4015bfff66a211ce3739fd4de7e5e6af 299750 coq-interval_4.10.0.orig.tar.bz2
 6d86caa2432890f0b820b24e0581076e 9216 coq-interval_4.10.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYH7VoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRibEP/2+fgm9UwvKOsUgQqNyCIiZ/8US1grs1
Zh1WAU57NRk4rOa+hwQeK71NoLTtxjAg+jhzixGZYh61QRyRHtqCMpXeSMvn+TM/
B//OPG6nzBkGQVO98zQRmQrsjNqQa1j0efmrn+EOOgxB5TU6oNrdrPukSa3Zanm9
PnVlnqGNRrUzpWKwP9BWelbSJoOH/LMmUri3meD/V1cZA/n8humy0CudPmfg+Zd5
2/XcJ7zow9xjr/RfW6wG6TtsXPzYbkWTl+EyruNqMWuznqBZtfvlBZsjkB3FBacl
bpiESsXWd72m+L8zSQVtxN1PnK7y60/GZBseQSywv2GbG1OpV9hC/SXoqNdAbXNQ
iUapvyOlPzMHDQVkL5ZLtaLfHZchjPA6OSB3F+XtgkT6E9KhP1+tQ87NJesqNsTX
SUVJ1OkmLuc1V1HBflA1uIy2JzFEvdGcgPP5RLqmznsX2fh9ZmolQ4kN7GTM/9F5
x3qX+rNpEcf5+psum1SuCuZ5W3Wk8aWz3gYXnOjZV66b4lOnKkBEmSAyoGlrl+dF
xgPRQFbEZeaJcm4nbnJaGZPS6Io4MagrUn3tNlcoXWfhAp1cNyw/RSKio+KUSSaC
yPoIDAi/HqyZr4mVGHnwSaSjYckXPIatv9qHKqUBI1SkFEFIPufc2wZq1XJG7x2V
sLImSOtmP0s7
=ybpb
-----END PGP SIGNATURE-----