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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.2.0-4
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.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/coquelicot
Vcs-Git: https://salsa.debian.org/ocaml-team/coquelicot.git
Testsuite: autopkgtest
Build-Depends: coq, debhelper-compat (= 13), dh-ocaml, libcoq-mathcomp-ssreflect, libcoq-ocaml-dev
Package-List:
 libcoq-coquelicot deb ocaml optional arch=any
Checksums-Sha1:
 0b00fc7c6d70433af8aee17718b39402de1ed3f9 277736 coquelicot_3.2.0.orig.tar.gz
 dbc551d3ab396f274458dc9bb95ff6b69e4a2e74 2244 coquelicot_3.2.0-4.debian.tar.xz
Checksums-Sha256:
 2a18b378803d1bbe71b528a1b800f94a4f2e1a7f9d3654f12c62355fcacd7d6c 277736 coquelicot_3.2.0.orig.tar.gz
 573d6f8731cd8dee3034c326aabf7687874df818842b9c15bbc62ae287697170 2244 coquelicot_3.2.0-4.debian.tar.xz
Files:
 ecabe7b5f5286064fd4bff35fcd42673 277736 coquelicot_3.2.0.orig.tar.gz
 7c56151c47c25b5a6ad7829ff7fb64d4 2244 coquelicot_3.2.0-4.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKYRjYSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR6jUP/isf1PRhDNX5vavByW6lXEnEPWfmBXMS
pz4x87afBV7Oi7ocA6wGu7QhA+H9g85EL/7s0DTcAO+kKU/7xizydZZqT3gaHW0E
Pd2mYZKbwroPxnUJli/xtZVxM2PWgI7fPB5Q7Tvu4Qo98TK1qE39EYPJQWeM/GVl
9u7d3MFMTBR5QJ2/aSvvorCLV9rGd05etPJvplte646x1WQ2sVa6ifiTVtFJ2TBn
jYCYwb3m3E1mENUxEpvG4qA//3DmnBBi1xYgF4EqonOJtv85MXZx3iBS5JmHTcUT
MSUK8uMB3egMz6TLDBJ28dayMe3DW+sM7JXZAao1+7eT0K228b9pnJkiHrpZqafY
oc3Wt2g0OhldqVQxJThErJvmWjd1zdA0KwTCLhBhbH8JL2QcYm+wH0f0YTuko5s6
n2FFB4kG88EhN1Z0fxZKoQFk4CrWpy/keaJ6TadQOeUv5T8a2X/+rW6r/nyhsuon
AW+X8/8gYpEcVPipPExatIRl+My3MGydLvNvpaUTDHJTIpsIgfCJcN61v90HXIS0
XROSUT7UTL4WRGJ5zPOl8RVQ2LPuygbrURLFKeYUNS0LxJdmluTu6tg//lYU0Z1Q
0ZLCUIiw19ZR/JiVYGtIm6AufL0zy8uMIrilEflOnKcDKrW6/l2YslYncCXtLpTv
RQU3PgHvNfDU
=6Hkh
-----END PGP SIGNATURE-----