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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.2.0-6
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
 b8f6015043a286c513e9c05ff86a142929df6b5b 2268 coquelicot_3.2.0-6.debian.tar.xz
Checksums-Sha256:
 2a18b378803d1bbe71b528a1b800f94a4f2e1a7f9d3654f12c62355fcacd7d6c 277736 coquelicot_3.2.0.orig.tar.gz
 45eaef81a07e33c4f2aede091b46c7f3b5d3004e66cd3728cc7c2e2c80e5c8e6 2268 coquelicot_3.2.0-6.debian.tar.xz
Files:
 ecabe7b5f5286064fd4bff35fcd42673 277736 coquelicot_3.2.0.orig.tar.gz
 a73268ec7baab9479042489c19359ba2 2268 coquelicot_3.2.0-6.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKu8PgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRaYAP/AlfUVPNQ1IGgYr0t5CH45v2mDLX9HY7
Hb81l03z6UK7cQn9rg/Guu1iYvaAvtK+SMB3wPK2baLKjd2WxReaEes9EjKtS/vp
Qaslyl2fcFPIJ2xDd6813Mv6FQ8RjHtf0ULTEM2cUbK3FzU7wIEI9rSjTNlhoFMd
tpSd2vo7sWY4jhls1xydZsPpe4YPTNBPrzCW/ibsu2mhRBvlGQa/Tq+yTvB18/mV
op/3pqb0A3iz+Zas0Qb1om9NuH3U2rP5OGgnk4u0xIJ7MgRoh8zkMLDI8lblp6aH
EL4B0lu1REa34VNI/NxvHCukr9d7uMT+FCdL71l6d92/v/fH9pf5NvduCEG9qbIQ
U/pgbskZN1q4UBMqDFks8mMiPixUXxeqT08cf08fzrXjtTkB73sE8mvCwwgPTI4x
znL4uyNKeSVs9K7+itFugjF3bsUA5R9yNNCW13wrkhKAFyNCma/0Xh3nvNYTkMHM
uFiLmZthSULCbZhnq2XegaOrnfgkdJV3ZywhiqWMQsbDMvsT3XSPTw+v5m9iV4M6
ij7UOd4PHpVxJQFPXQfa8ImoLocnUcsClauIaR2UQ1MVyJFmH38RsIUwfQ3DQ4h0
P7N4whiEeTuFy7kDgksPusIL3mQQCa1Y2Rv/NJ/PfoOA8LWRNXcV6dJYsQmOen9G
GINL6K9fOmd0
=0kAT
-----END PGP SIGNATURE-----