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

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.6.0-1build1
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
 bc6125ac8ae2f8a819e064642a96b7b1d45a072a 8792 coq-interval_4.6.0-1build1.debian.tar.xz
Checksums-Sha256:
 d42c8eda6ce2a7c52952fefeda269059646fe903d7cdfafc51c9f55004e0aa6a 259268 coq-interval_4.6.0.orig.tar.bz2
 115848f1ec8766c3e689c180f37e2e0180bee6f57de344c792d2f8e96601bf70 8792 coq-interval_4.6.0-1build1.debian.tar.xz
Files:
 7fca1f97a24a51983a28372e65042615 259268 coq-interval_4.6.0.orig.tar.bz2
 2de39f36d1f64c537b39bad680e3ba07 8792 coq-interval_4.6.0-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOBBcUACgkQ808JdE6f
XdnQvg//d16KJLSCVZ+kGGo2m/7Eyeaoq2ekYFsxrqd1gHwIFWj916+2V9FzyJkb
JVlJ0pjrT1o6cw/FxPYFt+NRO59fKOEjuelmRLcZ7PQ+Sd445A+HyMiAZOXHYSss
DDaTAoDBfX418N67bYEHaTUv8KYC6GGvExgm60hs6lc5dUXdIbXqU4b7WFNCWEl3
2mlAT2ZABM+TCSk++t3+wPHajF9Gdakor55Q02sWACqSvmLRi1H2cqzpYYESmba3
uZxY8SU5s6+MvZ21tJKx073r087bEg5cK8+aKfNWze6j+W+aNI8X6VOH/W/6Ytu0
SKvYf995UfWYpqVAocRDOqnj4ZBR1xIKlEgvBuSiNcGzUL5FYP66cqWP5Hs67haL
/qizoiGM6DeIverbW+PPfvdGO8w+0zNu726ZMgoyM6dPI154/xJOfwhKwJA/QQoN
KGwernoUs+EDExVZpiBwYelCOaRryLv1aC+W7s7UaFExp6DPAMyxXpcPNseu3qnH
7ydkhRL3oEo3lcHdRW2MukvCgx0ZrIiSUbRXOVxd3vjTa4QpqBXqGFcqgwcjbgar
uf3NGkI60/m6oRKGHWdjBvnFrojNDrsxqFtkrY7FpY/Gt7LMQZHr5u0cV9qRfBU/
70I4ZEzecHh/V77fkpD94FfK0OmB4+N5jnmu4VjFVIt07nGFL+I=
=cdPV
-----END PGP SIGNATURE-----