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

Format: 3.0 (quilt)
Source: coq-interval
Binary: libcoq-interval
Architecture: any
Version: 4.11.3-1
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.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:
 4f3af399ed7dcaecab388b59d02c9c48e7f6fa7f 381004 coq-interval_4.11.3.orig.tar.gz
 82753267c9a0dfce0a1c7f277f5d02220bd4deed 9440 coq-interval_4.11.3-1.debian.tar.xz
Checksums-Sha256:
 c7cbafe6ff69545ff04ae98ff1ea05a31cbc33a910ecdce29d3cd8d38a478358 381004 coq-interval_4.11.3.orig.tar.gz
 cf8844d9c2be0beeb70fa7e160622f6d397db6c27ae3d460c9e4d185e2c909c0 9440 coq-interval_4.11.3-1.debian.tar.xz
Files:
 bd08470ff301a3f4f4f8bc854a45c316 381004 coq-interval_4.11.3.orig.tar.gz
 6e2837a4a012659a037082e45d4f045b 9440 coq-interval_4.11.3-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkDEqUZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFURleD/wNCEMnmiUZWWV7kWxqSGPM
QBDG7R/9TeWqLiWe3jmf+D5RppJ9GfkOuJOnGIymT7dlnA2r2xzGFsoPItcOeHGA
Y8wOfJfEQFv9ayH2F+O9CXhb/uzWkyAmqRrFsI+Ne+hKxl5gPhnwZ+krFGPPYe9r
SoKGeaZ9P2ubvMJ/LT76fvUew3aNSi4cFTULDcTQTKjxejv7203Gyfw2VcYzd9pg
DPBuftWxFc7UpsygcmNJehHsnxuKXS6WrWHcWFex3Pk6mjgUhPMOT18QhromXAUP
YsQdavtsQ0yRQKpKBXKrqGBLmuW8JV/aiTB0JYQnssoIiMx0aYqnbo0dBgftlqM6
xmgDVAqV4+v1TJYxxTGMtLMBvR3nfDe5X1HF+QiyuTz/d6ZG7pfeNImc9rlhdXws
nFoYqRrzAG/4YeVnZjxEAFU+5am5wu75yfGS8vdu3PfyJleGyEEGURj8+rLPco1z
jgtOlfOqM8js0i2kor/LZ2jojdvF9urYm9UpQay3QoveHwHKBu+SUFikhxu3UKY3
69M+ADs/oM2Mk1M6SoYfV4FQLR8WIQ130kXQR0QrPtspGpnmNZckSlCl/ClltjRp
ulLIoGnEKUA67BkYtftZGB621rdYsB7VNHGnwukYuVpt1D43ht7di587jJhL5p8g
aLmUmzGmDDssN5CjV1TDgg==
=b8Kn
-----END PGP SIGNATURE-----