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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.4.3-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.0
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:
 5b80666e700ea0514d9b07b893950488d41a6911 230324 coquelicot_3.4.3.orig.tar.bz2
 eb0c08cb075c5b403b0e00e2ef6f8d140d655dd3 2276 coquelicot_3.4.3-1.debian.tar.xz
Checksums-Sha256:
 276c1627bcefd9b6963ce1ae4e311930545819d3b2802cc714e6746f8b7dd2f7 230324 coquelicot_3.4.3.orig.tar.bz2
 a6a1d236891e0fcdea1a050f7cc62b659481217773b699ceda551ef52792f254 2276 coquelicot_3.4.3-1.debian.tar.xz
Files:
 368991d53b72248d3c1c15a083ea151d 230324 coquelicot_3.4.3.orig.tar.bz2
 19a4d66416162e7042e9cf7ba181654b 2276 coquelicot_3.4.3-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmewsxIZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUQt9D/9GdDWKtImuUfXi5tmY9VPT
e04ixHzo1mybpH7NP+LigfFYViTSBMlSPLeX162wBZILNYsBMO8Ykoq15EDp1i9F
86+37PeHAQfZ+0hEeqMnhNScANfjwCFS1ridSu4OvsoObkh2PSeaivftoTP55Pi5
W/DsDQmN1vdt0pWI1WWXJjk9UthpN1BZwsrZ6o+gV0KV4Xv4j/jMoLJfUrC0rG2g
/BgSlyI/pKSvC7eFS0j4vYk/q/As8FXWbfh+hQ1Qgc0fqRYI+rOEswrSJ+LW6HB8
l8eGQ2plvb+s1Cd0mn/kxyN1/I+9laBgr+g0riQSWiKPwZUu+lan4BjSdR2Ge0q6
eon+JfhfK52QuVsN3mv4uBbD1q1h8R0odVBgo1dMeEiBKgzoMGPSI+CZNkqgZyNY
SdYhoWSKKTJs8rovGFY9bKIFRM4MgXtJXzNOQcynqRHdpz8Jd3SoJQtgNCWdF2il
AMnNIWqApyUrACVsfF11EvWfcEds9+0GNTlGyFsZgosIwzOr53AFDEi+ZODjbwbK
FytCcEBwz9+J6iC92UZcrAhNf+ggz6qvWhU/s8WlAwNr8GyJzA7auZB9KWm0RPeD
/ZzoXfGtu0ozPU3mCI/iIexM1GORE2a8zxH8CvMbAZMy/jDflcKxIsU1udLje9Nw
OTmg1E8SI620Q3WrQFhCFw==
=F+ma
-----END PGP SIGNATURE-----