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

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.6.1-2build3
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-core-ocaml-dev, libcoq-stdlib, ocaml-findlib
Package-List:
 libcoq-interval deb ocaml optional arch=any
Checksums-Sha1:
 2acd2a45495f10e08aba6b9520eab97c8870e04d 259459 coq-interval_4.6.1.orig.tar.bz2
 6a146b806aa57abbcfb49af800e56b7abbb58a99 8864 coq-interval_4.6.1-2build3.debian.tar.xz
Checksums-Sha256:
 29df28bab9a87b41995f2d4753a56067b3a4047ad0f1386c378cea23cce4a4ef 259459 coq-interval_4.6.1.orig.tar.bz2
 ac57ade4a89c5a6972dbd88523cdff06b7bebe9562d7040463d31d0f6b3b7dce 8864 coq-interval_4.6.1-2build3.debian.tar.xz
Files:
 5d5f13150d2634408f0abde20508340f 259459 coq-interval_4.6.1.orig.tar.bz2
 4b01d3a995d7cafb7329d844945d76a4 8864 coq-interval_4.6.1-2build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPvJ4kACgkQ808JdE6f
XdlJBQ//XeIZwAMAhJiePtYHkc5H2eFQ0MCI/T6N/ziddG8Jvp4sRZYCNPooDhXT
mxnuu2ZXWvA1Hk9V1GSzNPcSYPWsmTmAzq2aTP5GI2wKq489iZ4sUvYlezqmDnLf
q8dyoVZbK3ZkGdlKM6O8uQQAp41i7Vt/yIAV804H8oYN6YLjAz/f8Wyd+rDrY1js
Sxc097gDfh4djcF6jq3nBlrFlXdXnkN5BK4pfVjkVQ9RJ6zLbmRBWGX+quQQ99ED
QSdajWq7b1sgHWx0ybARQJaqzn5vT/sgcpDrguuQFZpV1G5FIwD5YAkwCKw7hheE
pja8DR2DgUDOpFmctHrVHDoJ88wTkIl/i/dv1Dy8eJDeJhDL0apiO1LLKCc05ZN1
RrVuutBsa0y3LJI24YdkPF5AokDb3YCAhZ3XxaTJ++O/QQp5n9Pct8mmb0P0eZxS
1o1SC3yKS3SCenenYunq6koGTh9RLMTdO6CNzyAFSjXXpHtlXyQ82iWEnhQHosKu
9adDj9a0rFxYM1uvi01NOs6ig79tcbju2SxA3Z+US/r/BqUtaj7xzrnpiJrOT1gG
dVQ5J4jlAW1VUyB7/d3oJta4yoUx1Vt40BxPCcZpyKUatjfW1HSFoVTRbbNxgh8k
Z5kHr5jpDEErFcfgNuuLUzrwXRZqdWK/WriyZc6hT1sE21EEzhA=
=hVEN
-----END PGP SIGNATURE-----