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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.4.1-3build3
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
 91078cf52a21fc3c16c9e9771b6ad566305b11da 2316 coquelicot_3.4.1-3build3.debian.tar.xz
Checksums-Sha256:
 1327dd7ca56bf5c6e87f608623f8a44864005fe7f8da481fa29e588f4590b50b 281532 coquelicot_3.4.1.orig.tar.gz
 9aad1d5eccc8e8e32675be10b458c18cf4ca64184b0f4d13bff266336d250b64 2316 coquelicot_3.4.1-3build3.debian.tar.xz
Files:
 faba5304b5bf17352e6a4d7afdbfe78d 281532 coquelicot_3.4.1.orig.tar.gz
 6aded41901eb56cf85e9d1e05c716e0e 2316 coquelicot_3.4.1-3build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbbhc8ACgkQLIPbyOm9
Djd8Xw//QXTAUJGxlNVpExUsUND5NLe3mZL9ixvcsHvIu5Ewd9McibITDuhXInYM
pkB6l6EVC6zINOqET+HnIu5aOMWG+NYB6/iuKl4AjAW54+H8krBh4ndnAGRI9Aj7
0NXzYSXkO+V++bJ3cUY96Wx3eMp8yJfBpIlz2IuRDxXWoKdELQSbhrYRdo7Uv+CR
6Js4RdccoKmf5AtukItbs4DFDvGy09Bd87rTCziIuha+nDp3dvlf3S9WpteGVjc3
exuEPQ99U1KP8S6QIXTQxmeErEeALAuCx1imMTKA67muBkkT5AuAU4py3QAOSlxX
OM6+t3kj2egT3XESMaOqRwVn9l0K9TwERhvYkbj8v+6GrpKg9RkYWeNmEED6UmiK
lytYdGp9aAPZXrFlW0X9DBjT3q2Hgc15QUDnMR/t6zMh3TwvKgo2qj4pinKLWeRe
fjCW2BtBhexqDNipfv0tlVd223op62lU9TuB4x3M6nBFtfwoG1ILX9aYUgmF7Y43
1FRvHfwfPz47VwzZKTakCd4AnYSOIbrW3jwyUW2pxbn32gjDrtoqQ84mHYPv7BU5
KrkunhWJHrn8/HAmEIdzfJ2eI4wKcNz1wNcGBgy/hzbr33fLD3mrEfXQIxWT9/+F
Y9yx3h6KvEc7+4I8iGHPMUrct6tBZ4Hc8o968xjQ49nwy1wTDhw=
=CYVi
-----END PGP SIGNATURE-----