-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.3.1-1build1
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:
 6d0d034d74b4003f035a49f2d785db617dbc73c9 279767 coquelicot_3.3.1.orig.tar.gz
 b066d21a534ab751b34988b666586fa19ac8a5bf 1952 coquelicot_3.3.1-1build1.debian.tar.xz
Checksums-Sha256:
 0446c4ad47353ed759756c263e5da30b679cd98d6de143a66d1666ef91a58642 279767 coquelicot_3.3.1.orig.tar.gz
 3a5da5fb82b20f8b671f4ee82006046cb5237405a4e0aea0f46164e5edd74a90 1952 coquelicot_3.3.1-1build1.debian.tar.xz
Files:
 9f4aaf7a41c2aa3767f6dea8f226da15 279767 coquelicot_3.3.1.orig.tar.gz
 f8eefd53e4ba8428882c8b2d7af0cec0 1952 coquelicot_3.3.1-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmS+r5oACgkQ808JdE6f
XdnF9w/9FGPi3U1HHDqE7J1SaoCWIckmEsQHmACaqeZzLxk2hHQRm+tdS/U8/jln
k03c+2NR8VG3QFwM/QOKIqjBCVPhd2d8RvsB0aD6IQq6/y+OpzLq/TtwAMJrQmv2
kG68qGlaocpcgJbQgM7bEnYCXOSU3EwaQKiYpnCjislrtbvF2cE+bF7Fj+v4KdyL
fVrhYmpimGFkK3CQPCmailggFJMFden7n3o3Xg4Q5FizY/5R/0Zadg9Q8iaXsGD3
/SwWg09rSUNziuCxlf1ULvEqfOS9ayMdR5wgmqcV43Q0J+53tIc5h8Z7YNy2WfN7
leoLNg0wCn89e573RHlTPtOJU1HNoKxcW3438cZ3XrkqQSZLZRhGoG1Zi4Tq7tN5
DuJeFAR5QuRH+BKRC8tjM9avhxe0AM+4FOvHiRbA7Cw+jQFwgzHRS04BLgtzLgyh
h9kjoqPlMWJUIDUMOEcKnNWBx0gKvr/HnXaw6OlE2wlYeGSdh1EKpnO1GGRI2VuG
WDah81nJivTMdvfrFh4N31/92c1/XXChTEdust4t7RqmTEQHzKPB84hQjiiY2xe9
DN0MejNkCgq0aZDXFYctuLzYZN+fbogxxGMlci45rqm/ACGctY6unhZrRq05QPwA
+UHUQzv/09fj0j5qhOmBwqk2GCyS0RoMKnz3PfA90t+uWYGeaGw=
=tNNk
-----END PGP SIGNATURE-----