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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.4.4-5
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.7.4
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 (>= 9), 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:
 f52a3deef459990865595713b4ffcb07cf9c4f3d 230315 coquelicot_3.4.4.orig.tar.bz2
 e98272b21b726148bc1e0505efbab1be7ed0ae63 4264 coquelicot_3.4.4-5.debian.tar.xz
Checksums-Sha256:
 be448954128140e953ce1cb58746cd6544df1ce4ba3a755006a5334d77d540a3 230315 coquelicot_3.4.4.orig.tar.bz2
 360ef35b8a1fc28239998edb394522811b8d58a80c268580d28a562239f803a2 4264 coquelicot_3.4.4-5.debian.tar.xz
Files:
 a1470711d292a2e58af32e536b6d935c 230315 coquelicot_3.4.4.orig.tar.bz2
 ad8a836a573c9b6f1218e7715b797162 4264 coquelicot_3.4.4-5.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmp8GhQZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUeIaD/9hdu4BY2917Uvyn5MvvnFH
Cm+0vng6Cv6uyx0ZBJa9tnaK3gNfK1XlNT937q4PzziVHrIsjq21mVcWSAh+4mH4
uXdrtZaP+D8C/gHcxY8bk0Hzpp4AytPcvJD4opWJKFefm5xlUDlcH9KkxhOAAjBC
aXZB8TfhUWrTKvoKfM/qMKhrwiViRW/cjF+gp/NZZiPAnfy89VL0Py+Jz4L3KJRx
SVlz1oDn+WhyqZn+gpGyixIDEpcBvjg0iAO1HtSBrejtz8FpJFoD0E0j5nymG05T
Y8HXB/zP0b8XDPIeSE3c/gpYdorhGTtYvC1IZ3B2gtOhYWR8/TfPct3cXA/6sohV
KiS1IlAmOBo1M5T8XZRRLa4L/yVhsiwt2hTUBO56IiQdLMdywdeZ/ID8qJkhuGLB
4bAUnkfe34/KaNyVcXD9DGD85P2PWbCqjIgNhiKFqqyIkaPV/2sCV/HaPQZRQEif
88QBv42e0z1z+l9BAQkidQXd73XnX2MMsULDePUivv/OaleZOmsmskALoDNfwFvD
fKFQVcRN+am2aDWdx1D2Zd/gGq5qbECYVL9kMiRx766fkbYhbp2QVZLb1hTVdsF9
2autYngQ2HpQt34Uo+wwVg7gdJBnwwca/Z5t6cH9rlvliXZ3CeLxuzaR3CHsApTR
CRwQ+BAbhkZ3GCT/TDYRbQ==
=w+A2
-----END PGP SIGNATURE-----