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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.2.0-2
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
Build-Depends: coq, debhelper-compat (= 13), dh-ocaml, libcoq-mathcomp-ssreflect, libcoq-ocaml-dev
Package-List:
 libcoq-coquelicot deb ocaml optional arch=any
Checksums-Sha1:
 0b00fc7c6d70433af8aee17718b39402de1ed3f9 277736 coquelicot_3.2.0.orig.tar.gz
 6591488711a59bd1609ff2d32224f1cbf45ee083 2188 coquelicot_3.2.0-2.debian.tar.xz
Checksums-Sha256:
 2a18b378803d1bbe71b528a1b800f94a4f2e1a7f9d3654f12c62355fcacd7d6c 277736 coquelicot_3.2.0.orig.tar.gz
 1b07261b39a6c17ca35803cdc8d2dfd06faf5b987faf07e048c5b44a2dce819a 2188 coquelicot_3.2.0-2.debian.tar.xz
Files:
 ecabe7b5f5286064fd4bff35fcd42673 277736 coquelicot_3.2.0.orig.tar.gz
 b2ed125e43cd0928541f42d54a2b73df 2188 coquelicot_3.2.0-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKD/HQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR2JkP/RhGHADElU3nhxD1TPDkA044FL581Yxc
80fwAg3bH7SbVqVjnW/6Qu2Pg1Q+TfTMiTOwM4H2fzIQ/se50Tll07kVZJGsCmTK
vlJysiR9QUoHWlEFCazR0TEKg5RKTycQSVbjId6Xbj5F+sNaMwxyfe9eSqHDEHux
wSSivfqpdqlAD2C1PWjqkQKm0UPOZ1zGI2wM0nqKuNnyJAgU9qpG/oVyI3W656AZ
iQwpOFLZtL6LNWOcfX4P0QAm/2+SzR2vp4db7bjhCffn6FvC/5yb1Cky4D58jVwB
K7IFru/0lmh6neNrsB6RdjX8x7Iq7jnKo610JbhlyA6W6z5ZWFYtMyX0W5ioGsvu
9MAlndRYBKvRo2YqDhyNxJwupOTheKkIFsNugUsiWnMsmXx7js9jio+c081YEpAZ
bk4+nt66Wl7IHqMBzrJWdwFeuKDratQgGQgwAj+LFKxSEIhpxNLO1xuHCeBC9oXp
vyUNzCm5WYuJYIEw+76CGPy82bdSDwwZlWtM/URRNEsYURJioe7Jvs9rWclH93rg
Q44TG5IabAEBcqHOQmEarhFoVNx38o4XKvgRkoeWpID2Qgheul+mieC2q+wnV6WS
OzBVJge2ZAmtU+Nue6R9voXaSri8UkJhJnLVEOSwtjs5ORpyQ5JupcNL+e/lVCtV
dCxxGOg6K3g2
=oCdL
-----END PGP SIGNATURE-----