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

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.10.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:
 b5fe1cb12c7303fc692dbdc8fc48cd3b1a6155f6 299750 coq-interval_4.10.0.orig.tar.bz2
 71428fa3d2d5511e515a1712ffb2e265a79428ad 9296 coq-interval_4.10.0-1build2.debian.tar.xz
Checksums-Sha256:
 b2df60516c66ffe239e43738fcf9bc234741e1ca554409efa6a44491e640852e 299750 coq-interval_4.10.0.orig.tar.bz2
 c88827c9e2a1ff9fdfc2bf1632c40ae6bb8c139c7f75f57c79fa98b6d76176d8 9296 coq-interval_4.10.0-1build2.debian.tar.xz
Files:
 4015bfff66a211ce3739fd4de7e5e6af 299750 coq-interval_4.10.0.orig.tar.bz2
 363bd9c60de9071da4db16eb439d5288 9296 coq-interval_4.10.0-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZCWo0ACgkQ808JdE6f
XdlXKg//X9Uz+LIc0y34MN0ZIXlbU3HI3rkQIA+AYg7pj4OK0TpX1h9ybJZjlWsO
reOxmMmfcQ/HKRTfYoq/zrOOCXk9eV71CkmlG9kMxxIAnt38Ig5tL8GnzIUvJ0Xw
BnqPzn0+aABtuHh4fOwa4ttmcwbUM+i8I505O8cGWt32gvOg7wvNS9h+86LQCsBd
js0xIQjabMu5UCHAfMLITf1fCI2Fe0ZyC2Ff9nri/s9sC1VVQTXy+m/WQwPlGPve
tE6Eg7GYrGXftZ4N1PYRYy6H/KuEu0C8E3Suebxf+FJbxS9KzkgDZkCR/vSDaAe4
Z8gT8EsGS/3t5EQnRh/JVZiVkHpHoqM9EzCUauGGzwc6aB6vS6iTQgchSKmfu47C
H7mevyHtkT9PEgenLBUYur+/qXc9zEyuDgZ7nY/Jy7U9qksDDISXXyNvuXLrhrkB
L1l976nDXS9vSpWY1goBDrmU9KTU5uRundlTlXxMaFWkubxC9snMkc6IKWpl/2bg
n8+SfQC2K5naGpZQMVGyxKApxWMw/+Hjq8DEeCb9lU2+HYwzhTME4mXwpY/ddLqx
XRSewKegOZlB/MBPUDCYAl9I8DWcbc/0JKlt1yZSM+C7/zNXuK9AagfhAW+5RZSA
zXzUZPGSqKq3Vj/Zx3e+TpfiOyWU6bkU/6EeE0Si/NhpxLbmyJY=
=o0n5
-----END PGP SIGNATURE-----