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

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.9.0-1build2
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:
 ccf2383ca606268cad3b6f7e1f48ff16ecca5ee5 282047 coq-interval_4.9.0.orig.tar.bz2
 becb58cf686742667653a61f98cb9a1cf485be7f 9308 coq-interval_4.9.0-1build2.debian.tar.xz
Checksums-Sha256:
 049e6957fd75b1026d3c0a7e786291d25e92870184651449226862ee03f668b6 282047 coq-interval_4.9.0.orig.tar.bz2
 320ea3e9c065910851a14ee4be029a7d24362b1f5f67e685ae7a388668773260 9308 coq-interval_4.9.0-1build2.debian.tar.xz
Files:
 5a6af473def63c486d12e04a8a556330 282047 coq-interval_4.9.0.orig.tar.bz2
 7e50620135e88dbe444bba7e7c79d378 9308 coq-interval_4.9.0-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmXP/SsACgkQ808JdE6f
XdkDnBAAi9IYByrKu6zXZ/Nb9Oxo+LHgB9y3BCy358fmO1mG53273kh29vvZe5W5
998kovEvmTBVbimTNvsFbIbiN1EPGsQN2Y0mU3phHYZkPORR4/DRIys8G5lzfKEx
RyTKALE/SdzkuyA+kKQAZmAcLhBjdfaLge4hEGKl91uFL+VIk6C4k1vgY6gv/f13
3z9hR/9hHXBLgRNNCe+CtM9RWO5nQecBNfPUnxtGRVtnbN3UEWCyGMI9pmGi6niD
O+pqD51YnKEAL2Eev3BNKOrGrCgVzWVHm9TUKgKnnFnAXZRZ3L06j7dqTmxLDxfr
yrTiZG6thE6AgTU9/grd/TkXCQqGVdImC4XDbG/VQakzqoN9oFS5xZ9yq7sMBKej
dMMhL8Qc4I276tdnEK8ilXKzdlL2cp1jpgxWuXlzIMyuN3Xf/BXmEEwjp1ZQuN0P
PduD4NUXz8pIGklJdM9yipfttO2ocjOOJkxUQtZI2Fefo+ZuLsmMvftPCwVPsbc+
BKnczDnISbshDqLTkXd3xeKG93I4gj3FrJkJdP7ugBaJeKfHKyq33xm3x7QIMpMh
QS1LTuonLh1f2GaAtFEKdo8yO7IYgM9PHOZH3s0sDkXDor54VIlSE1d1eMvi9Z5u
Grf0jFV6hWm7UG9vddkCvl1cLlZBol8pXrn+NSrwMTrOP7XQGOE=
=lE91
-----END PGP SIGNATURE-----