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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.4.1-3build4
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://coquelicot.saclay.inria.fr/
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coquelicot
Vcs-Git: https://salsa.debian.org/ocaml-team/coquelicot.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-ssreflect, libcoq-core-ocaml-dev
Package-List:
 libcoq-coquelicot deb ocaml optional arch=any
Checksums-Sha1:
 5bfc7bdcdb2d97f124836a664b34036cf1efd961 281532 coquelicot_3.4.1.orig.tar.gz
 4e6274fd82705405de1c6c87b1e26f91b0bdc813 2328 coquelicot_3.4.1-3build4.debian.tar.xz
Checksums-Sha256:
 1327dd7ca56bf5c6e87f608623f8a44864005fe7f8da481fa29e588f4590b50b 281532 coquelicot_3.4.1.orig.tar.gz
 f18ad597eb2a80df4fc9be09e19dd236c9b06449739300f49dcf1c35320b1b84 2328 coquelicot_3.4.1-3build4.debian.tar.xz
Files:
 faba5304b5bf17352e6a4d7afdbfe78d 281532 coquelicot_3.4.1.orig.tar.gz
 1e456114ab6b2173b94b2656c9f88d4a 2328 coquelicot_3.4.1-3build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbdD6IACgkQLIPbyOm9
Djfzaw/9HPe2ED4odHExOyB/eBkTDNd1BD07TZW0iqZPJIre7qsFO0cTMSpS2vHT
y1PcEHw/PJ4T1Sv8rlOWwZQnawmdcO8u5fUq+u3VGf440ql0OB8fbEEbtVpBgg9M
L49xTCrnXsrZW59nm7Jg6YP46kg/mHpBYQ5kokMDP4ph8AWJzo1/QX8Z6cVpB51v
u8gKFpZue2kRvSN7YX3X4+s9lG3jib99fKsrPPpZ1gj6oEpU/s+5ON1M0REZPjSO
f8Tt/BH34fHy2tDAila4jYXsv4uKVA1BLK0jbuSB8zFDH2nZradSFEfUULQr6hNt
MCOUfkkKQBY7xCqPJqgwRa6m5omCcNdrqNKN8Lv9rjF1JMF1m3HkUg25LdM0NEvl
QqS7++Wnua5y6oLl3NbZ74bq8KX75pYbGYeQRN2HWZ3TNIBQ2I72gtb445EZDQnW
rVMMgR+hSYibfxHO4f3RXxsc+SXUzzMD75Lhp3tSKsIZyTlKIcVYzDC5AaDMwb8l
lw8CVSEOIe44c60e5fFsMXVCo22NuoqGWzIf2ZKONI0rdpz9FzfZIMUHkd6OhYox
vLarPd7UNGudxpRrVzzJu9poV8QQk5vtMiaaez2op3pehUoxwK0ZtNyDh/eVdHap
Ug6YYPDq4h/3F/AVuDpa/SVD1mosViDiqzvVZ906zAR9lm1tPNg=
=vI86
-----END PGP SIGNATURE-----