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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.4.4-2
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.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 (>= 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
 f56d02a0d9efa1b6a579c53edd006f992c50a170 2400 coquelicot_3.4.4-2.debian.tar.xz
Checksums-Sha256:
 be448954128140e953ce1cb58746cd6544df1ce4ba3a755006a5334d77d540a3 230315 coquelicot_3.4.4.orig.tar.bz2
 2f604976ae0449a32f43637d3862cb804a70b37dfdf4d721f585b3747eceb079 2400 coquelicot_3.4.4-2.debian.tar.xz
Files:
 a1470711d292a2e58af32e536b6d935c 230315 coquelicot_3.4.4.orig.tar.bz2
 cc6cf2017d618ba4e17de919883ab298 2400 coquelicot_3.4.4-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTkSQZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUan/D/41UtxKJxqce0n7wpq293Pw
Bf7Y2cfZ6x0jK7eqZ5Dlb+ZlqXbwELpodRM1svuJKJxKmYpszxDt1Yt4WwGjUjGy
aumDhZomgqA+KloZD2DNP9mW5BBc7EiVElNg8QStL9I9TLNTJ9epu+AhoVC5OzYD
fdS1FP1hhz/7dHsfqQQTtSTXrm8LQLP46HW2DYEsQFvTY75sLWYH/pjWwb6KNTRJ
MTUYFotJF2QcPfRDeYalJnv19Owsfwpi1AqHIpIEZJHb1yGFuh2WGk/jlRaOVxVO
eg+xvykBZKb0JSP3kqtG02N6M9AL6Cg2pGN8QfZRuiIwTdwcqI1npY3aB7tIaOYv
+/SeAfKjiVEqN6bhZrqCa5kQIV3P9W3Ast6MpQ+SR3+s6FvROaBMTSnkZdz2c9O/
Yn2PBgbg/8nhsHuak3L6+TbsCOdUJbB84jXZgpAkK+APy2U2d55rIRpDo22nEB9c
zF13iKtHUGmrxxFADCMpQnA9LhaxfK80XjLrPvoL1ro5J8DzOkIUMwRWRuE6wbl8
T6Zr83lh2RE2GVM3FBkJAWOMfbnSpW8X/CQmKg1cgI/iM9kUmdes4+EsSBH9oGJM
kJNz7ZkaNmikWm2wu5sgRS6S8ewMxQfJlfIPRiH0M+3g9kFJfOxjnVArWw7iYyQE
1n3HHDnNQjNwd5dEvyIDjg==
=ygRh
-----END PGP SIGNATURE-----