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

Format: 3.0 (quilt)
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: any
Version: 3.4.1-1build3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://coquelicot.saclay.inria.fr/
Standards-Version: 4.6.2
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:
 5bfc7bdcdb2d97f124836a664b34036cf1efd961 281532 coquelicot_3.4.1.orig.tar.gz
 7085d70a30b0ccfab2df403471e6181a216d925a 2288 coquelicot_3.4.1-1build3.debian.tar.xz
Checksums-Sha256:
 1327dd7ca56bf5c6e87f608623f8a44864005fe7f8da481fa29e588f4590b50b 281532 coquelicot_3.4.1.orig.tar.gz
 662b0ceee9795443dcf993c1a9a75663f8d1c3f05b889ef98a6556f29ae8be0c 2288 coquelicot_3.4.1-1build3.debian.tar.xz
Files:
 faba5304b5bf17352e6a4d7afdbfe78d 281532 coquelicot_3.4.1.orig.tar.gz
 badf21a2ca0dd2f678bf1770070701a5 2288 coquelicot_3.4.1-1build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmYAs5YaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz3LdA/6AuR5q3uMvJJF7p7rAXHb
/C5mIN3fWLa4T+j2hTRiIfWC4lsUWWN0sfea4o7EBV7DwbKphwPM9bAHhF3MjiAC
Gs7c4ywgZ2+y1y63bRbiWhn/b+I4n0Xge5NqrzkjnTWXZnIvpA28hCJGHM+Txyv0
OWZ0Wj/wotPyU6nznJgXCK2Xk1YTkaHxlPJbuqXzmDmB2nbUgk134Xqzyy3rCZ6k
atcAqk/4yCzKbiw7SLfdOW+wgPZFhA0lyEN4Eqvq3O9TzBiPLXQOI0CK7yxhtAM2
Kum9E74ZJzgWp6ij0VuiXIkSiHUsNQlQsAVmzqRbqVnv6iUVTlHHAMFu3m6f0cIM
5Wbm5FSV+UJ/vhSeWntzTBMORvx3aOwiEw8TSTEhAIljQIBlXeezcn2Rd9F8COfG
vHEW6uRaGfuNRRlGj0wsVF4xZdViQS+XRDQr1CJCxHeJgmHAY721+No6s+hOhy3o
6CAgYd/Lf+u+jytUkhiICLGA5iCfaEdnyllM2dLDZdb5Pfl8Q/GF7LAH4AGCw1dn
QYxqSaz0zgKo1u5XP8j+VntCPfAThbBc+lWZ+kMHcC4LZG5I8LicQAVfbP3aaIHJ
xy1ks9rVSk4jvacP6drWC2ghqdZeyQoxvMgj3LHYwFQLltkDyAEu+KkcsegzWykm
zFyC5YQbA0KjnoWmhU5cvw8=
=+hf4
-----END PGP SIGNATURE-----