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

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.11.0-2build2
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.0
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:
 e366ac6fffa1a4f3bd943a0e4a639877c9fe1096 301998 coq-interval_4.11.0.orig.tar.bz2
 5c9e275c99445910b026d641e34eeec9f1f43465 9420 coq-interval_4.11.0-2build2.debian.tar.xz
Checksums-Sha256:
 40a6522ecde1976280167ebd5013f9526386ccf114b3ab6baadc65abe6f3f663 301998 coq-interval_4.11.0.orig.tar.bz2
 5ad86c1550a2dd3ab557ad2d21e056d3eee5d74bd226652968a702218aff7f56 9420 coq-interval_4.11.0-2build2.debian.tar.xz
Files:
 e4a529b5883ce16c9fa2a240ba81dbae 301998 coq-interval_4.11.0.orig.tar.bz2
 97a57df4464fd1903ad5bf4179111803 9420 coq-interval_4.11.0-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAma9ouYACgkQ808JdE6f
XdnW+w//Xmiz74gcxdS5CIZrLnmj5fyMhpXvSf1vYNRGiTLOrpAvAk9f0Q6Qb30O
la0MOob2b3yAGX5PghtKHcBXTvh1yB6RhZcr6jlnA2b/kpCMzLSKrPPv+dP4cZUT
n+cV8QYAKAvmRoTmOzwQIrSYWjkKUj//lWIUjpnjgJk4rCozxHJD+3/IYypsUxnZ
kOoHkizl42sXAe9yIW8Jy9JD0QClEPeDmIUTfrtViuuiQhIThpKY5JxYD1Y0jHyD
wBE9Jyf8JzJZsIbrKDZn5EU3TXmUr4ruzG1Gu1yRIUPTmrpLyiVpXA3EYbpXgC26
i8Ncb78qQ6cltVrWx5wSrFWkdwTvycIKMYXyEwT5J+pC7idxaWXBu3NinP+gnDWH
ehtvJ6ufUuDECXxDUpeQCgKu85PQ8KWTlDxplCgcv3z6dmPiBz7S7F05nuki9RWu
kUIqsrEE0eDSy8TffzEMbdDsdJjuMa8CSW1S2e+RX6g4YyEVpaQGi0DU4EX9gQUI
GknjEpP3X/lLeb1LyS3PqXzbsl3oO8BAbVnLF98UDPhtzGWtNTLsYp17oaaxjnoq
MmvOs3vKSgqlV97zz5xsU6Lbu0H8BhTQLXeTHAz9xnR7r3JVH9CniTpHIUYl3VD8
f9c8KCvOHLhHFGDr9epbCLV4L/j1hpxfFH5ZaIEBmUhV7rqFfFQ=
=VdHH
-----END PGP SIGNATURE-----