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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.2.0-8build2
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.6.1
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:
 0b00fc7c6d70433af8aee17718b39402de1ed3f9 277736 coquelicot_3.2.0.orig.tar.gz
 699620e982204f81f36050d706c99ee09179a125 2452 coquelicot_3.2.0-8build2.debian.tar.xz
Checksums-Sha256:
 2a18b378803d1bbe71b528a1b800f94a4f2e1a7f9d3654f12c62355fcacd7d6c 277736 coquelicot_3.2.0.orig.tar.gz
 7112ecb433e015b17747f2cf8d319c02044fde06dbceac7eb40b69edb926111d 2452 coquelicot_3.2.0-8build2.debian.tar.xz
Files:
 ecabe7b5f5286064fd4bff35fcd42673 277736 coquelicot_3.2.0.orig.tar.gz
 2298911461f34d9df243478e768daabf 2452 coquelicot_3.2.0-8build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPudiQACgkQ808JdE6f
XdlYiBAAzBtGNf1Hmi/vefyljamDiiypzPPmlerztMPenhr4oWqpfwpIV0u8uAOg
FB7QvLOAmxMrcbybbwXX6fYn5dxx0WhiIQhGB/PO+7ZiOrJqxuOaJW3hYiEYUDz7
GR5YsJExeSWyAjy9N5uBa0k4/GxlZ+CIPFRFnSgGAfXCOFH349LcysLnBp5G/t5E
Kg8e1uR5W9tsIoPJTtiVw2isy2pnWxUsxFBA/osu5+l9Tm/a1l9eKssxKuXAjM9x
6pLTUbR41td2ow0GibasXHFz1OyNLXld4dy6BDJq51cdDzR+WV/YUIuiEUuqSCvN
ujUovcaNAuZZLMYyCKancnFNhDNfyRy9iL9QQb/2IflLyFNPJLeDfzdlUrOyXSbW
eJaXtpDhS/YnRAXhuzevEB7BJaZ2q7MjtmX7P7d22lWZW+DsP3qVz8HQg24/XHlN
c0Q+Mf6/IVazgIVfmMqfsKRLUxartSX7JVcTBFG/SdLsDsGkjWzaGk6TD0IZcTlR
BUa29m3+Mrxpc1IwYG99IhlkCTKy+Uok7JEeGPV9o77Bd6tNGqQkK1zjfEkESM0+
8GlTj1z2EnJ4NFlgKovRUgLOVBLJXdS/lEVaNS0HNDQgGUKyjTH3TuTwa3FqFpEx
VUaE7w9gOpPZK4p/Lvfyt3mtMsGhEIR9dfl0ugrzsTiA2al6hEI=
=BPWM
-----END PGP SIGNATURE-----