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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.4.4-5build1
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
 62960f15f86dfc2a36fe4e609d48fd42f4e43ee6 4348 coquelicot_3.4.4-5build1.debian.tar.xz
Checksums-Sha256:
 be448954128140e953ce1cb58746cd6544df1ce4ba3a755006a5334d77d540a3 230315 coquelicot_3.4.4.orig.tar.bz2
 3c6a31d72faeab0903306fba6520c4d5e3e074434936e4a38568a159d0d68630 4348 coquelicot_3.4.4-5build1.debian.tar.xz
Files:
 a1470711d292a2e58af32e536b6d935c 230315 coquelicot_3.4.4.orig.tar.bz2
 2fc42727a588582f53f8bb095130c79e 4348 coquelicot_3.4.4-5build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqvdpgACgkQ808JdE6f
XdkB5BAAreBxXekcvbpfNGilDscwlv/w9LqX+bn7L7LtoOdBLtN6NbeGRHw2NVPr
tzgniKjtLFLIVf3geXfpTtUtUdpMlZciANg6U9z+f4LWidHBwzHh31IG6xNaJhzl
us7BPHNyIruU9kezXETSceNEQJBPpEoljAjj3GZJR7BGw7HxHoAjnbTFvRrc7W6l
E/HnxTRXH4Tj30Oc5GztsmouFRClMpXRst4nMHo4Wc9ZgpPH3hsemSJUedHO/oV2
lOxVsUSelSu2acAyeYip0xAWwp/P/rYlzMIdrUyAR3jKw1AKNkqdkIpRvLWmS9Gq
oVYu0rNj8zTLJoxpKxeBSNTxjvpjleqQmAi6EOHT0EBh2gQ54c7eC7yhEWAnoqo9
Ip/FgOgfkWxaGyp9BUQrRtaAdj625AU6tRIj2pki5I8AVcpGQvTXL45pUkATZtJc
cSToRA5qD8bqtdzCNhtXA4jpqYq2+OV2jfXCvZmnYe+KcQg2TJcuCsWLrZRoQkSs
IGLIGz7/u+Z1M4n1qrk6yPfeq0blrF/EnEOVRqYXJZ7/3zIxa2xSG8qm3nBqmpcT
CkOtImlHjoNUBUQQbgbxnNjvq7E3Jm1qhkuPBPHlN7hAkwJDYZv4O3AAHMIZFUKY
yYzktCQUpniOPMGvC//VPVbcwgBH5d+mNfdiKuYC2DVI5n9vc7Y=
=o2Bu
-----END PGP SIGNATURE-----