-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.4.2-1build4
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:
 ef82016f68887b92f3945f5b747a895dfcc5bfb9 230261 coquelicot_3.4.2.orig.tar.bz2
 ba150fdd450de64139a0e2ece1242ba3119846b3 2436 coquelicot_3.4.2-1build4.debian.tar.xz
Checksums-Sha256:
 cbddee1bf51d0f28647b8c95083d890a4c7c69e4f6e2ea05647ec5d188638dc7 230261 coquelicot_3.4.2.orig.tar.bz2
 ee7e70c4914225eb5daac005e7d34600c49efa5d89868976316b85ea66f5debf 2436 coquelicot_3.4.2-1build4.debian.tar.xz
Files:
 4bde49882094dbc151a43919856baabe 230261 coquelicot_3.4.2.orig.tar.bz2
 28bf385a92a8802836f22038b9375b81 2436 coquelicot_3.4.2-1build4.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeb814ACgkQ808JdE6f
Xdnc0w//Y6CaM0asRQALq5nrU2S76jvpTHeyAQ3+EnZPUKjruB7Tq3mm0smTMOv4
aXxyxnuvYmodedF2pVP1sguPjf/2y1BpRm49pabBuZN4n4r210oigbb19ZDosS+D
lRU9jDTH45BFRnVUxodeEvqfyC77XR0sZ34seVMn5TESJCnese4sVYYEQd9uGk81
Pl2TI5Tkp9BPStm+J44jt51+N2ad6+0up5AU6CD6Sv0dFDaiCj4+WyTDZmXmi7as
iw7BcWPbCx+nIHMcGk5CI6GteebjmlrX0IWgMAUrQdfSuaaMKyGYBxg3r/XE9wQA
/ppAT9e4FUyhNC2DsOako0gWwv7rgQWOEywK67E450hYnNrKgjaZoL9d/74EKcSV
I/zih5kcmri7DS0h+8/5QKWRbIAHg2wcN0K6FFA19+dKsMx2LJqiYHy4Rm1SDjGV
grW+Nx1mjPTvBW8a+epQbYKxjkYH2q9yIc4YFJmnmbZ+t4BTMxfkhZAsZ7s1WkxA
9ScLHB2FvZjL3fHepHaehskmkrz30vGrGRz74WuQlLhIfFL1PjLA5tidK92l+OSU
6pVmkqJAa/lv6vqViTRZZ8gtjFPt48pkLBaJP4FRq6UNi4WKpSJOaKVHIfrspFh3
PZFBX6jU3Sqm+Q6mu6B/wSwKRwp1HCIJzmh0F9oj1XBT1CAR+YU=
=YBGX
-----END PGP SIGNATURE-----