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

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.7.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.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:
 f9b22b532d901fc8dddeb6f62c673ca88bea9f5e 260975 coq-interval_4.7.0.orig.tar.bz2
 4a4aa14952bff0e1b98542cc094a1bcc2903de0c 8880 coq-interval_4.7.0-1build1.debian.tar.xz
Checksums-Sha256:
 bf9a6d6fadcac7706dee3bf012ad2393e9324f4501305e62bcd89e9c78820028 260975 coq-interval_4.7.0.orig.tar.bz2
 60aead6dbf87dd70a442cc22a010ac3248150a2f60d6c80e6420acbc4b947389 8880 coq-interval_4.7.0-1build1.debian.tar.xz
Files:
 281ec2a3721f822195eb172a0efd139f 260975 coq-interval_4.7.0.orig.tar.bz2
 b3713a289300539311711886933ef83e 8880 coq-interval_4.7.0-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmS+sEEACgkQ808JdE6f
XdmplhAA1QKs8wrpjJB0konm+f135GrYX+yop7yvVMg0+NDAux2BZzEyJ0ABkzzU
AYVho31Jsxi13NLThLfsZaVXp4YQ0HbXtQdOIS2D2Tf96SrpVmJ/fuKdbITQM3q9
y9hY5mfwWbUk41qesM3eRRBahEXvekh222ME3IetrGQfd9GAKno2JqWBAPHebvVa
re525TeHedAk4SJnnvT9es7iQ0U+CgVEoAhk7bdu07e8rfmc66AeeyAg9PV6nJkW
6YthzlxPHCyDuX69hO+pHBZ458/K8+Qv6SqmuQMbgRnwQzTito4bN+8WwjojeKkE
9V5cdnkORPAJqGQEsW6oSTTQmDHZClVH/BVlwRHFEYbpKzjvXYxaVjFQ6Is6VV5Z
R6amnw0VMuBkayNinzdxOACaHg7cri7oA5W6tgkIvPkg3vkmN4iQJ2NR7ZT01ohn
UfEZTw5F+S+5GfyVdIF8n6G1vjbxWAbMcSht8yzCfR+bVr41uvs9J3XOZ86RiwJ4
tu5e+/FGeuFO4cqc7jL12dSvDNS0xQeUUihs0M7/mmlkEg8HfNcQGcLSsQ/Lhj3U
bZ+m+nV0bI6qvuf5AfWSl4gMHDwEZeCgQ/fzfua2E4u0YhNqSZqamCXaDjUUeaDm
zpdfjjFvjn+Vq7X/UTW1J0UJtpVal/bmTv9HWAlqzh3r5fOJvLo=
=fj8m
-----END PGP SIGNATURE-----