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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.3.1-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:
 6d0d034d74b4003f035a49f2d785db617dbc73c9 279767 coquelicot_3.3.1.orig.tar.gz
 2c603e4bdf792cf46728327b327ec1eff7e4046d 1884 coquelicot_3.3.1-1.debian.tar.xz
Checksums-Sha256:
 0446c4ad47353ed759756c263e5da30b679cd98d6de143a66d1666ef91a58642 279767 coquelicot_3.3.1.orig.tar.gz
 f2e60af38a6a1a4a515e43a798cd43b50c909c96e44d3a478d340ac215f9600d 1884 coquelicot_3.3.1-1.debian.tar.xz
Files:
 9f4aaf7a41c2aa3767f6dea8f226da15 279767 coquelicot_3.3.1.orig.tar.gz
 adc729daaa344bf1db07747941a4bb01 1884 coquelicot_3.3.1-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSJxM4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRTcsQAKBgW3iYGAQ4Fj08Nlnwouxa0FKCnjrq
92ajK2dRdcZS/ZRFmt5jty6rkPe6LmkEGdzA8ZkRe79vlwNn2vvG36ubVZcUkVo0
zkttK5OR9L1iDyCoqGrYQ+ZrT8wKb5gLDZIx6G0BDFNg4PDY+RreV4ThJQ6s0834
2n1ePSbMCCRJJUvYODUkxcYosCbG+oCF0x2V0/qgz1qMAKrmaKA/Dpnij8q6hC7J
2feRWF6b+Mfh5hoTKhk+aBwqvoDeobx+SAeWsa49h3Qg1I+3E3HaA/sHSW9dNh+R
kL0LQW5OjCVMAMdaMyhvPCYsrlLwEH579IJiqxqSTtExoN7Oi8/Ave+33z/zj7Ip
HYjOgQD2/a1bma75nOn35NuJLyU7+qDUWNISU4mBxqFh2ACMmJaM2hcyoUJD9Jm6
xy2WKwb1HMpOShlV55sKrEU8AmMGwEoY64j4Ie/R+CT1wrAk3EoVe5dasN1+kNo1
KeRU06xtn0NPCpBHEExKoIvvT/mD77yJXpMLTGHEbkbahSatUaqhrPesG4jALFp0
GD+X7J8+fBANy4VGmRzWs5IY5Yae3o1m9k7/qoNMdVA3X45in53uhmvmwo8tg1Hj
D2GvYuZRU8PdnSjmy8wiIw5nOEwZFrFGTG8gbQgBgaG758HoeSOUWA1RtKfNHAGN
zj3Ki7a7H9Ag
=x3F1
-----END PGP SIGNATURE-----