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

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.11.4-3build1
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.4
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 (>= 9), 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:
 8bf2b4b79c93006fea48563bd2483be932cceb26 346599 coq-interval_4.11.4.orig.tar.gz
 2ef90380c5e5388409f7806e28b538fa39239645 10460 coq-interval_4.11.4-3build1.debian.tar.xz
Checksums-Sha256:
 f2e0c6ee1bd781db896d032a6e5dbac5b19ee1f8b0ef364b4d272be9c921d66c 346599 coq-interval_4.11.4.orig.tar.gz
 f422a301b7118f1ec903b951442e30a2522e1c0dd9195c0e55f35dd64ad4cd4c 10460 coq-interval_4.11.4-3build1.debian.tar.xz
Files:
 62fb47fa58c6ce854ea3bf9534a9b648 346599 coq-interval_4.11.4.orig.tar.gz
 8f1a6336203b299d1b419af57ab722b4 10460 coq-interval_4.11.4-3build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqvdpEACgkQ808JdE6f
XdliBw/+O4IfG4bOlDOMpNBfwwksa41bdfCru1qMDcJQ7LclqylZ+mFgbQDmaCzM
xG8KW50muMFf03ENI4x3rm462Bdtcp42cyhNXYynVKZQ6W3JxNLUBXq7TIqznhMX
tlPPwI8t8Kalq7adNxvxIg7xcXIzfOiLpUvSyjSAKn58GUCD8RvHdAwuBEbdYB+6
ZbWLYKraI/KHpJrKMBzlroVqp0DVHff6m0Ex2DhwRlYHoWVny3XAJoEAJyPpKzuY
WN5cWBLb249TNJEyH46cQpmfqPk4sQ9mnuHQnKIzAnuEZiL0UTUSe2zUbEYQmdh+
ceyjTQSbUv7ouTRvHrc7ZvR8yJQgjfeLrYeU/UN9apE/q6XH8/7N1u0RKf67qsVd
eTkqYBEesUm3bjT4SaOaX+GvUy+aByOBHKO+OupU3mwSSO5RffRSNlEO/HZwLEjn
s1zT0O4k9aFbcYED8PrW+Waauf2SeG5eZkMmSF9axJThKONxrrqpgPFopTmnJ7wU
TKJO7RkvNLkR/LMh6NtbGmMWwpWTdFZUWnIzM69mzKRHdwYSMTb3UuoJGCAFbPdg
VcovZ6ZwrjxcJP0YBwKlc+J3EwiHNbHw9aU9iUrpnxhhQZNbG0UM7CTOc+3UTDwQ
CFD28RbBS4cASY6ccgb81HogTfvGUTa3zJNs1OCZdQm5dKKoDEs=
=iDS1
-----END PGP SIGNATURE-----