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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.2.0-5
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-coq, 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
 bee9a052bad3543dd8ec3cb30b597bb2166eddc4 2220 coquelicot_3.2.0-5.debian.tar.xz
Checksums-Sha256:
 2a18b378803d1bbe71b528a1b800f94a4f2e1a7f9d3654f12c62355fcacd7d6c 277736 coquelicot_3.2.0.orig.tar.gz
 cfcc25f3879cea119257abe7a57efcafd74940787e57c0142e5917354d9186b0 2220 coquelicot_3.2.0-5.debian.tar.xz
Files:
 ecabe7b5f5286064fd4bff35fcd42673 277736 coquelicot_3.2.0.orig.tar.gz
 8981d747c9ffc2e3821004c8a7f3dc84 2220 coquelicot_3.2.0-5.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKmLPISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRdxMP/1EcUA1Kiem4uorDPtENtylcgJBDEosC
SfTK5xZhLAX7c2byZ7vf0f5AvPOdH4rtqZCK+xHrER54zzKEvNJ/A0O16HXn4LOR
/N9TrGhw+k+PGEQZ3i3T3JBmdE7AeFRlp6+RYZvhYPWtbmuDs6vvBbfjwseI/zur
B6tvgkXa17nQt29FNm5VoAiz8JYLJCoNMyhzOfi6OYXjmv8qE6gZ+qk2MbiYPGiQ
L8rx60A/3kWJccEL+2FLhRXdrjcq9h27DW+PoWmtTqPE6x2cP8F+4KZRqv8+oKUl
h21k5Q9kj8v/XSiIKjOiQTBwIBN8QN5lL64nX8vVhFkb1gs50TMzTgNzV6U5eyoY
wEfGLOIkzg/zalyNddkanmNAKOS0Sxl7yl19W37MMusNI6Q2r0hajBsxOIpIF1Y8
HYMaNRVfaW76e5Yzbex4EnGmgProIVySQ1WZeym6vHU2kCMyhNYcW5eLxvolix7y
/+c4QWgLP4nPoGY8amjoaO4mpL+AygbzOL+OGSy3NMWAfNtjmWz34chraJ2NPByy
jkVJoA2/Dlf0i8d//MByGgg3cuPAnWEz7oAjMEwgGt+d+6qfKLCimAnkqvtEveLQ
TARkw2Mz20nehtnnrwCXrqKhpDdZG3eSVyS73AHo2UFKc1oH1ETvjbmRhdSU5m93
dVZoJqhkq1VB
=u2f/
-----END PGP SIGNATURE-----