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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.4.1-3build6
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
 8eb50e767c14c56312983a365ea6ad4d213f46de 2340 coquelicot_3.4.1-3build6.debian.tar.xz
Checksums-Sha256:
 1327dd7ca56bf5c6e87f608623f8a44864005fe7f8da481fa29e588f4590b50b 281532 coquelicot_3.4.1.orig.tar.gz
 30c3fe3d426def3c4d2a0361ccb4419a58dfde58e6cef0c017aeb3a5c3c6971d 2340 coquelicot_3.4.1-3build6.debian.tar.xz
Files:
 faba5304b5bf17352e6a4d7afdbfe78d 281532 coquelicot_3.4.1.orig.tar.gz
 189338a7f2ae35dd117bbb5dd33874aa 2340 coquelicot_3.4.1-3build6.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmbppA4ACgkQ808JdE6f
Xdn4ahAAg148Z2zWuniZQ5hIvHy3zvc5+7e+JivuDf304ThVH9KOefva0PpgWyV3
1Zzp2o9AcoGdOQsANhoRTvNrYcItPY7ZbWZi+zAavyD+A5AwCMqTotPFKJhwYhbC
IjuBSmz/korqu6xtBj7C1D5kB8pLagf9XCKP6XkkNeEwVbR2XPx178TR9Z0TajLm
YYfaWy3NSzLUizpjhD6b5izz0retkOgAdImc4R1LLCAJg/TmsWN9LLfgXAJdpM15
1Qud6rhBNETbTnmH10ZBX3hFfZ8gDPkfZR9tVPCgHyuH3971+XkHBpuF2MYkfJEz
wpXVjt1okm5ikTKbV7IJo0AJrIWgf+M36dU4zJNig3KUG6a/LhWXpU8GfpHXl58K
fNvBSanNGwhXHid/M0ustWpnbp4GdS4nTZX24EdL4TweeGZNVRSDpcxrNft8U+ka
30QuCCz1kZ+mHbf3tpcNOt6T8RfZIMbjEoGXiyaCEn6okjPErG8e/5BDxYN3VZeT
buoBnZR96iqJHR/vq0zQbpEBNz+3CkUGFdsBjbemetfQepKcD+cSn9mnG9IHLszj
I9NrI6u+bNx9VhIX2sFzYl16xI82wlldIfsDHvikxMCQPOF17tIoDKbhllFpMRjn
dhDFhuPyXzJOA6MmYsmdZXWaXumNp40D8bOUO6LQnVhyYHCNtCk=
=z3zY
-----END PGP SIGNATURE-----