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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.2.0-7
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-ocaml-dev
Package-List:
 libcoq-coquelicot deb ocaml optional arch=any
Checksums-Sha1:
 0b00fc7c6d70433af8aee17718b39402de1ed3f9 277736 coquelicot_3.2.0.orig.tar.gz
 207161d91e9ea6c6c339dfa435e50375e11e1a4e 2320 coquelicot_3.2.0-7.debian.tar.xz
Checksums-Sha256:
 2a18b378803d1bbe71b528a1b800f94a4f2e1a7f9d3654f12c62355fcacd7d6c 277736 coquelicot_3.2.0.orig.tar.gz
 bc4fc323efb3fe9b9af9983f5ff5b400361bc039d6bdc2ae345f9d7e51e639ba 2320 coquelicot_3.2.0-7.debian.tar.xz
Files:
 ecabe7b5f5286064fd4bff35fcd42673 277736 coquelicot_3.2.0.orig.tar.gz
 50c8db78a28f941a41fbaeb84c5cc0ba 2320 coquelicot_3.2.0-7.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLD580SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR6kQP/1mYuIeLUP+HKg1QcjpO1DmK6BAewNFi
yiyYCMFKy3pCMTTRGYts55VU+S/PoPd5vKEOaMnL0aR0oqBMRTdHAFWBdEL3GaJp
7VZLQdpZQEcRSLn9W/qB2hR50JqiqJw2xy6FdxzXTYgWO/LKkQwbmIUcnRi1aBfA
f/zM4toFWyBsbNG6B+BTIQl3cb+wxra2GVt9DfXqFTI8gCFBM3fJXeCkfySB2jLc
+SIWYRbn7hm6HGXbSTKFBQzXDp5nC83K/B5Gv0/3HhwOhz2z7qsjOamNylt5ewTb
dABxND0EYb9q2qcssk96Q17gwFejCIX2DttWN3chUbRZEAH3Ga+Vs2SLNIx8WbX0
FKpOQ0ll0BK7WfE0X7w4KpPle4wq2+wNE4JG+UuymzufZut0yatzG4uH5WkBQUdY
mai4uowQ28EG+1gfPtTNyDWS3UCzHuS35AvHCPodd4J7d8my059V9+DrZcVT0lBT
ZhQ9VH8XD17KOo6SqTZfRDGErvlm/N9k3vtCSp10lhTFQfMvEoAx4TRU47m/IY5X
3yvTuqaBa9sFJBoHaRhqgxkCwnrYJYs0WNja8kIugdXlIBAVykRtslf/ynBs5Vly
5IoldbTPqv7NCpBFuMyACdB66Nz/CbX4NSre9iyyMP4cOeKl5ojHwKsGmXILQO+7
sRloUQipKkWI
=KwE3
-----END PGP SIGNATURE-----