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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.2.0-5build1
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
 785ad7f6612759ae60b54003983b3111274e6f74 2296 coquelicot_3.2.0-5build1.debian.tar.xz
Checksums-Sha256:
 2a18b378803d1bbe71b528a1b800f94a4f2e1a7f9d3654f12c62355fcacd7d6c 277736 coquelicot_3.2.0.orig.tar.gz
 aa4b042300ff103fad5cd6d80879aed2fa658e9a7a8c9def4f4c8dfba005043e 2296 coquelicot_3.2.0-5build1.debian.tar.xz
Files:
 ecabe7b5f5286064fd4bff35fcd42673 277736 coquelicot_3.2.0.orig.tar.gz
 1cc5cc916f6bcafa2ce61753ea3746cf 2296 coquelicot_3.2.0-5build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmKnQ4UACgkQ808JdE6f
Xdka4BAAi559/mukMCq1oPNz8ZJoBwpYoDb9gTRR8D5mQUuKAkzOZ5A5liWx3R5c
JmlfsfdA9q4AJs7WWtg91WLQY/2FqtpuNNZB3B3/tuBIEXNXs9ufCbFsteLFkmqe
QSmUS9XdS6Td/3fqjMG1TJDEeqliso6CWtZFynFV8kJkSa4HtnLVWtqtAdSI13wr
fFRXN3j5wxvZ7+z8+BOPHksthIalNRADRROP4M5gwT+DYHg2B9D5eSgRNgc3nUVc
Gi9GkxVV45VmWXF2Np/FfPMhTB4QMF6fobrQbP/1gjFB5yIigV/iuzeSlITx2+Nw
VtwKxV8eFgvzdK4VhOIC34v+/Gk7W9GDVhsxe75mD5uhC4djjFeKh5wu7NaXRvBC
9fauS8L1LvXfCbNJplvJfjxHwg8Bb4sTVfr1umS/H2fWwg2tpVwQo1ijsRvIJUP1
uRSCRRg0gvHSk8TkSol1vbg/iBR6q0QJgAlsSmqEP0rSjP9JK4nJtuYer3RAF4ij
zH4QZkaFud85vCT2/LkMTb7Gbos724Xs1KPNA0WxbzEWnKfGHiQoXB/Wmm11qDy/
OmnCBpdNT8RlKpJB7XOU7yEWDxdf62hNnQ5ZJcWPIWGmz3fBI0yWgCi9w5N1JJ6P
6Z6/X9HLpuSzaGyE2o3JtTvD4sdGoWlo51vnwHLTtqB64plOIk8=
=DHI3
-----END PGP SIGNATURE-----