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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.4.0-1
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:
 070bef91de43575295b683be429695a43abe2031 280637 coquelicot_3.4.0.orig.tar.gz
 a72e1b4ab97567690eea3c00ce931eb9a8e83018 2052 coquelicot_3.4.0-1.debian.tar.xz
Checksums-Sha256:
 54ed94fd5eb54ee0cd988bfc139b5acbb8189ce5bb4305f8e4e9215dfcfaf483 280637 coquelicot_3.4.0.orig.tar.gz
 4ad92b6b4b7487ddd2e00254de4cbf8991854041b8031baa5dee3e132fe582ed 2052 coquelicot_3.4.0-1.debian.tar.xz
Files:
 44d292ac80c37ac778a0833eaf586b96 280637 coquelicot_3.4.0.orig.tar.gz
 135835c269632171842d69b84225aac1 2052 coquelicot_3.4.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWFY8MSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRO7gP/juxpadhD8k8Ux8ueD9Rqh6fv4uytQMG
+Zfe9HUBqIjfNiBrUqSfI0knWyKcZltvR9ma0mkmnB2RURceJ9t4xDmVBKK3QUR2
q4UFTJziOQ8XSaahOtYFFdQYezQVwP8oEfHE2f0IxqeNHfab5rooTi1HCNWUxTIB
DGVWL/7nt7BS95b2bgYXsqHjFCIonPi/sj3XKffiw8Gu+QU3Uj+B72w9v1Ff+Dh6
RiX4SCAUf2OLN+POfCYCzI2n1tdzF8T1SQG1lbkuI8V0VJrJGvvaaaPC+0m0QRRA
JZ9FwoJOUBIJpKMXsYasyyE3/EKmJdOuB0cDtTOPjF8uLRyn5fx2XrN3ce4BULdo
PYS/dODsEnQsbeUFQq/bBDQlWSiUUok8Bm+lvVshyudLzHkaMUhFgDn7C57W/efZ
+nXpAPVJUR+Pb0H9JXFtEn8fUomC6yccNHmfwvoA+tI+PM1Z0ttI6FNlA7jzmbhd
S03fmxWMB6eZ5XG1LFEqxO2e+8XzJfgiHXHtQyu4ZpO/3huI6nIxpz2C35PqZYg3
0lFuDXKueVwHuOfm9vYXEJGB0NvLXVXNAxzMBkrq08A36QDq1bp+Kfe2lwFLFLIg
prXAYUPVElOY5xacGXTFKZ+vukbSuMf5pnQvRU9u8DtSGxrNOci8TQEXSXGY2adG
hZ+l/C5KcGz/
=2tid
-----END PGP SIGNATURE-----