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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.2.0-3build1
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
 77a642103f86309878fb5386563980318e1f3c07 2296 coquelicot_3.2.0-3build1.debian.tar.xz
Checksums-Sha256:
 2a18b378803d1bbe71b528a1b800f94a4f2e1a7f9d3654f12c62355fcacd7d6c 277736 coquelicot_3.2.0.orig.tar.gz
 db65a3b4d3c781be933317f54825b9baf0c0b90bafb077035b3df1d4071011f8 2296 coquelicot_3.2.0-3build1.debian.tar.xz
Files:
 ecabe7b5f5286064fd4bff35fcd42673 277736 coquelicot_3.2.0.orig.tar.gz
 2381e67c64ac861dc4275061e339c4a2 2296 coquelicot_3.2.0-3build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmKXhx8ACgkQ808JdE6f
XdnLkg//aw2qHb7OhYyVUgsm2GlfWxgA3SS21wZ0AbDrFqN95EPxjHFtJsqLYX5G
UzdaADaygSHaTTwoAdwcG9uT1S7bZAzc3s/VH2p4DyCSF8Mu+ZSfi9ARcO3W3Vvy
0PKZlaJzqNsnnyx32Nt3460AZiTeXAHN0rQsoo41WNhqC6qXI5go+7lmq/7M38gw
HwllkoWEjYRacQU/eEpIns0/uNCc/ow8WNOkwdIyk46F5M1FiQMe4iJqKdhoNR2o
ecF9k657wF7h8BEmrH/+8rjbz4+nqI6oJ8DFNsFII/DuAAs1bp+8MJ4lvxCrknMk
D+eJ5AoiGnJ9e2/tda/jIIZ+X33Z6WqgtuZKCorHCpFPDlfHk3DbZdLsqeyn77+U
DZDuJjPtXhi7MzlTzVgbr3S8nHNzxjK8gxH9CrE7QNfAtyNF2/u9uadAoguRcoxT
1IYuF5UMGZlcKNc+el6xAvK17TDvX8wxSSReDwuZy52Or0W/y2iDUs4tR0fqkZqc
M7YU5IY9tzBFbDA+qLOq4Qif/UEmTAUT7Pe+uJSueoAKf8D7aSQUZicPIflQj3LH
Iw+k0p9QwF38ny07NGw68DaTg8YUz/6di7ULui4vLUaPeS9bSSjGdOmT8eyBig9c
UYhdQS2nv9t3+gmuVuSUz3OwcGufpYvbi0yvnJRvrj0VmSocOR8=
=U7zE
-----END PGP SIGNATURE-----