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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.4.1-3build7
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
 ed80c3f484636f4c0be6d2e589b26fada182f2c2 2372 coquelicot_3.4.1-3build7.debian.tar.xz
Checksums-Sha256:
 1327dd7ca56bf5c6e87f608623f8a44864005fe7f8da481fa29e588f4590b50b 281532 coquelicot_3.4.1.orig.tar.gz
 0a2691861b99c29d8db9389fd075b24886704cdc1f340e528aab219cb82620c3 2372 coquelicot_3.4.1-3build7.debian.tar.xz
Files:
 faba5304b5bf17352e6a4d7afdbfe78d 281532 coquelicot_3.4.1.orig.tar.gz
 bbd68ab140ab47d53cc97d7ef7fddc18 2372 coquelicot_3.4.1-3build7.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmc9A0cACgkQLIPbyOm9
DjeFZQ/+ICSwApDAW+nEyP6hN8x7PQy3PKcQ7DqUc+7b29HctjWP/2+vwQdCni5d
IjZEG8HBuaOfE6hIoM2WpCkQkRFqtAWLw+6A0BaEx931cf5RbE/sZWh3BoO/dVXH
xjES2XKaGkogm84CVAnz2o1+CqqzX+empmJ5Lw+ACOCv7ZuE1LXhRpFE/RQ478au
O7QakUdModcKGrDgPj+orYN3JFjqle46job0Bw7E3JwDtd6oupQso1p+TlYwbgai
nZpwaIEhNyJq00fWwCF5D1e0JvZzEYvjeMErFO8HUO9dqv+p4F5xSuQVMszj2Frd
0E7Yf89zp+fB2XehaMimQyFRaDjbi8S6dq2D8lwWjy8FjsBx4NPwr+7sUpB0/lyW
Fzp6uXBCegvzinTg6df3/df5drsBjY1WkvEkANHtUWJqssNqGG1hCpZ+JYfjZ14g
PRp/Brhef38BzljL61ZoZzACreKF07OxFZ2e4rg/E2qhcK3fFRXoH1XH5TdM5iu/
xFH9xMb+vKQVQ47KluVDse4W9R4XeKBlWVMrMe1GWsBUcwI05VizOrat/4Q2dR4c
AmNWIhjTavddk3CeKdfT1l4BGLK1xJGD5GjIEzaCZ5Dj33ciGJorTdbSJHxL3c6s
/YM2BLwkZqCBLd4O6V6y3RDFhs/TGDOhzyk9ZBLktRbMMM4KIcA=
=7uUQ
-----END PGP SIGNATURE-----