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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.4.4-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.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, 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
 5a6f60e79977b3b54969aecc85e787b26854e2db 2360 coquelicot_3.4.4-1.debian.tar.xz
Checksums-Sha256:
 be448954128140e953ce1cb58746cd6544df1ce4ba3a755006a5334d77d540a3 230315 coquelicot_3.4.4.orig.tar.bz2
 74e9d707f80ef254420cabbb9ece74bbe118806fb08d28856fe8e7fc53062f00 2360 coquelicot_3.4.4-1.debian.tar.xz
Files:
 a1470711d292a2e58af32e536b6d935c 230315 coquelicot_3.4.4.orig.tar.bz2
 96167cbbd3587d5646f54a570a0bbe4d 2360 coquelicot_3.4.4-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkDDskZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUYhoD/4lQnJy1V40ibCZ0nHasNLI
6AQ9OloxOlDxstmCEnC3xp4VXPahyhppN8kPqwjSDdg23SUMojQ9JWk93I7J6+ae
sq+1C7g5yGFy2d6lDV5TVy5UPLU2p4Ihcn0wURnEqb197yeqVFZr246rqIaOG+gM
VLeoXUW2Stiw2Ht/8SdNkjGgH3R+UdX2jJJq2GmjKXSXZ5mkf6UxC5NQtREg/gLf
Zyhq/MbIa25mZQPkuP9v9sLL5FjPnxqjQiJN6asb1XpyDxm+ZOwx6KzhyP04XOjW
VD2S4+D9tmOC+Bx4df2al20+s1+nOB0RRxJvXoq1+KhnAqS7Yx59yG0uDvsyaABe
pO+FgehQB9vZC0xwY6X6OKL2l3qCUutJkJubD5qp1IS6AlMQ8Wpge4MXKGOHBHBg
z5N1uobNHatsQVUG5lo3azp6CrrRINMNAN459w5uWhlk/bGaoAEUC8Mvd0JZBOI2
k5j/7eFLs9b9i5ytqFM4hweQWGddGnn7Ykk01JIwmXAatnuSYiMazD9pXpvH3cC0
yrHD2TEVsvtFSc0VK7mbvT5MmgHyaHugEy3StMXNs4vprqv68Y62qc/Csb153vnw
ElxIbjjjVSBmz/CLkMDQiFrBIjM1svEwL5aS6fryqiRViOEkJbSlm0vJr5ZtbFyG
TZCqoiGvPzuz0T5M5C8EfA==
=PLUQ
-----END PGP SIGNATURE-----