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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.4.3-1build7
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
 ccddf3d94a0dbfec350ba90ee2430442a748efcc 2488 coquelicot_3.4.3-1build7.debian.tar.xz
Checksums-Sha256:
 276c1627bcefd9b6963ce1ae4e311930545819d3b2802cc714e6746f8b7dd2f7 230324 coquelicot_3.4.3.orig.tar.bz2
 f228d47960f007cea87f8565e7e0cee9892f27ee7de15ce44f384431cee12e3a 2488 coquelicot_3.4.3-1build7.debian.tar.xz
Files:
 368991d53b72248d3c1c15a083ea151d 230324 coquelicot_3.4.3.orig.tar.bz2
 2d560316efd9c8a6a69215377ec39014 2488 coquelicot_3.4.3-1build7.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmkMVrYACgkQ808JdE6f
XdlR7A/+I0jujDGtMcUe7ckn0vJLdYedNgyq0T9qcwaBt95p7zomYusF5Sffo4nF
sjebGA4pZUOc24pWpwo8qgxUfx/2aMQhHKacIWgDWDWp70z1ggo+S+AcQrxjUz6P
/B17x4GLaU3HVfZkbsk5uqF14QjGYg94L2T+oPbQk1lAc+SvpnuA3VMSlka5dNzA
GxnfD938ZVDnxvid83EtylPbOXjr6jxXiyrWQcmGLEsL2xn38LmD38teRlVkI0Ox
iwwe8t2WQsNchsAE1J0R5nxvYCux4R5DJfbhrv/U4KBaWJDPi6Z8oOqVRqPj89/W
mOO0iH5Fvuh6hOOy1x056EcL0ZmQCV62xharkqcA6sb87vuJHqEzXN9HNWARgiUp
TzoGh8cl/PdoIfcPXopD9PKPtU9tnarQVBu2+xNX53oT4GuGf6iL6OjM9PekiDBu
u239fUqhxmhec5JlfoOcGu0Vk9x/J/mRy+gZFKJqXKFfS98Mg+bG7nUzZDPxbBYa
sQqmERgHU/5Rac6haqk3NdmaNXgnBuPJe/JZaF0xSfnSjwHb7X65b5vtUcwhaBL/
I0kqqrpWrV9Gd5I9c8VfDWPZxFY1BmGZ54A5hflQcU/QNUbu1X5DgvmGk3wX9d5S
g0ewvhMtQcGEY3+FNd8yIlnY7RAZb6m6HGVoLRv0JanBy3MSw/g=
=TC94
-----END PGP SIGNATURE-----