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

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.6.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.1
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-ocaml-dev, libcoq-stdlib, ocaml-findlib
Package-List:
 libcoq-interval deb ocaml optional arch=any
Checksums-Sha1:
 ca1c5a5293a958c97634d7d90f892be97bd17a71 259268 coq-interval_4.6.0.orig.tar.bz2
 7f01efa2834473088db7276ce5411fbade200a3f 8808 coq-interval_4.6.0-1build2.debian.tar.xz
Checksums-Sha256:
 d42c8eda6ce2a7c52952fefeda269059646fe903d7cdfafc51c9f55004e0aa6a 259268 coq-interval_4.6.0.orig.tar.bz2
 0f5d55554da5f53e84eea64c00c0c21771fa7e38a924260d4be436112a823923 8808 coq-interval_4.6.0-1build2.debian.tar.xz
Files:
 7fca1f97a24a51983a28372e65042615 259268 coq-interval_4.6.0.orig.tar.bz2
 47aa07d1e524ad51b51b3e95480afcaf 8808 coq-interval_4.6.0-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOLOWUACgkQ808JdE6f
XdlXBhAA0Ja2HzS8HRPUczON3x4kF7cRO9e0nbaLe4bnOBvVe1EcJ0fwwnx4rLE4
Kla64+UyKj+KPggC7SpSqaGdBPbvuYtdMS5HRmlTZAOivxEcCCGYtKX4JHrwgLgF
hPEJvih9/fHZWaGWVI4mkbOE+LpeFIzmyLLxwe1p3of/PrJtalYrwfAY+P9h23qG
MFAiX6akHN8RcufuTEWKMMsnGVYsgQJEHB48oC0ZDf9nJ7paSAHWIeQVgqWL5U4i
xpiqwg3RVsLeLtTrg7UU0rlwdDZLgI5OKTr0dtga8+RPxr9sP0bkEHH9+X5eR5P2
yFSdMkBG92vcl7p2DyzoA2hrLF67lr3ykTmoRlPmwyPB9pYHahDpL8CIyjh2hxEL
Tk/FeXaOKuO+UQhXTbX5S/8yf6a0757u4nBM/chGpiYt2/WoHJd3mK40wR56RHxN
JkUIcYtPK6Bjj7w4eKDXwczvri9HFVv83njEi3K/aHWWWyXV4IU56S5Tl2mUfvvA
I5AtdSJQ9J7oUTwyIAgJFr7ewzrKxpJB4cvrr+AM5WnpjUJYzLLKiAZJ6wh7/bc4
ROspD2F8M4xSLTWhTlTo7hW1Aiax32fEN7S9cth0+S/FyxAFQcOQsMPpyuH312yA
iZVbokxkvbnXHgUfCpi2m49Wt27Z3SRCdU/ehakFgkn2BfkkV5E=
=n1OR
-----END PGP SIGNATURE-----