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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.4.3-1build3
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.7.0
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-core-ocaml-dev
Package-List:
 libcoq-coquelicot deb ocaml optional arch=any
Checksums-Sha1:
 5b80666e700ea0514d9b07b893950488d41a6911 230324 coquelicot_3.4.3.orig.tar.bz2
 f7c2f487c8632f6d365cc615892ae16c8af19ed4 2428 coquelicot_3.4.3-1build3.debian.tar.xz
Checksums-Sha256:
 276c1627bcefd9b6963ce1ae4e311930545819d3b2802cc714e6746f8b7dd2f7 230324 coquelicot_3.4.3.orig.tar.bz2
 4a420da413e5c08384c1cf60a5a7f76e655585f542b954b4cc0423c918b11bbd 2428 coquelicot_3.4.3-1build3.debian.tar.xz
Files:
 368991d53b72248d3c1c15a083ea151d 230324 coquelicot_3.4.3.orig.tar.bz2
 537086a88c082ba1fda08a4fe17be084 2428 coquelicot_3.4.3-1build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmg2w8sACgkQ808JdE6f
XdlWHBAAxH0e8AlBBOvIhEgl0FGUs67hH/+QdiACHK0IAaUUMTTVzW4zgiVgoSmr
7osQVC35uB62R64C6HzEOHgSjB7SIyQPLfSxYxcbJT4f0ltKsfoUjCPFrEorR/Np
IDqXp2QKAfENfrtSq8RzaLitZP92Fyjnu4UnbpEh4zfKVLe1ogtNieiZc/B2KdyM
JjZ+msdIvm2eQJTzEP37AdVBtsNNBAGXosXswzc3rq0T/P8AWltbCJA0fIscSfyv
Lrqx/8jKuy5F1ZnPX1cWJHX2/aEwCuE2Y3gt6YFCbM/lMvC3wREh9SWfbK6cL7ic
6IEpS91XEY1g2zSRkOnrnSPnoMs2eXqu9CcfuJbFH6QyP7RKZoiO61sKLa8l3e09
dBkyL6JmXkPgY3pVpkI4yD3tWlCDRJ1ZGMYMTWlWnIXlaUEub1Ulx54IFIQ1UIgS
xmluHcPcVqApZABJHroca2mC1V9FJLW+74veL9IRFZ0cHGxz9y7NnYOhOM5M0OWj
kSHl2CSCtw5wPxo2RwD6msx+muDR1pbPUSl2EHo+eX1ehuqAgFqVDcR0rrfbLIRG
UpY7zxOs34gcplYRcQHT/4/62L8CjGGqFEbMJSXNXTBZtd5Pq4zQJU7ISU7tF/La
8KOwZI4+ZlgU4eZm8yoPSGzeOsoL0bO0/qWbfObnWYhKTkaf4Is=
=SRGk
-----END PGP SIGNATURE-----