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

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.11.1-1build14
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:
 dc428df35162294c1a2a0a9c0dadb9e43dc2be89 380862 coq-interval_4.11.1.orig.tar.gz
 5f757c38a50c1629e3b14940f02b7a51d2980396 9668 coq-interval_4.11.1-1build14.debian.tar.xz
Checksums-Sha256:
 a5a76baafc1e7cf0b2125f992c982375f864d4ae808fb605a9ff3a73a5c0bf4f 380862 coq-interval_4.11.1.orig.tar.gz
 07a4e8b9c68efd61e33217889736e64afada65488585809a5dedc07f7f2d4a98 9668 coq-interval_4.11.1-1build14.debian.tar.xz
Files:
 84fe59b6aaf35174798ebb6b826409fd 380862 coq-interval_4.11.1.orig.tar.gz
 9873a0722e996be6ebfe37d16aaf93b3 9668 coq-interval_4.11.1-1build14.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmla6esACgkQ808JdE6f
XdlTHhAAj8TqQR259WYveKV6V02AKxP9R6eVBRR2YRVgeu9StjPqQkJ+hDKdy+UG
bPAoA0kituAORdOsgaz1j+d1vHB4XOSMyyprvx+msklw+f5d5gft8VFWqVyksZZj
+atcSY2St8mlcH954gohsOWVJMIZFXKivb4RbJfC9bRne3gM7j0nh0c/bWXaOwXX
Dj2M6HNlDyQBa4dmZSs2XY9K/9L520Cf8BjtMLrpYUy2fwp7KEmigR9DNJen2j/B
Tx8Vx5uE90DtPunfnA0Y7BvN36ABHOvyfzFkNoOq2fx7Ck4/tzfO3P+wZdNf7O+q
erlqJhn7E1zO6VJDvrSxeD8ZwAS8KJALEKw/JpPMlvigyz3UY1g8c8gDuNnXyjIS
yCpog5vIL8g58Q0v61z/V8xRUyK3UjA7jbMcQyJ+f/MATp8uFppmLzemEsdd05tw
B6JSuWQK4+bBxyXzqYwz9YM8liJUvbK8COuVJEs1QcFvNLo8BBCzspYlJIviwI/D
v5hLv6h0hCOHuC/h3A51/k6c8LxF/+W7Wfzdch5m6xmkLQTuXTjwbYA1d0maApWy
g98qL1u2UUJmFG20ZH/zVhS3EboZKOF43q8ZnGa+GFrF+U+oWDny31uDA9ONqT+O
xHTweeo0aQFNJ9vZR3zXoA+XOhmzgFai2jXQ416fnJa1N5U2wto=
=PzVh
-----END PGP SIGNATURE-----