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

Format: 3.0 (quilt)
Source: coqeal
Binary: libcoq-coqeal
Architecture: any
Version: 2.1.2-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/coqeal
Standards-Version: 4.7.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/coqeal
Vcs-Git: https://salsa.debian.org/ocaml-team/coqeal.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-bignums, libcoq-mathcomp-algebra, libcoq-mathcomp-multinomials (>= 1.6.0), libcoq-mathcomp-real-closed, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-coqeal deb ocaml optional arch=any
Checksums-Sha1:
 db51fe2516ea1e69e6745f110bbf3ee64456db43 227558 coqeal_2.1.2.orig.tar.gz
 fe11eb3ceeeafebc9271f60d67559a18fbc5e962 2536 coqeal_2.1.2-1.debian.tar.xz
Checksums-Sha256:
 4cc9f8735dfe6b9eb62e1bde8d7bf50c98621daa012b97634b7aafca03a18b3f 227558 coqeal_2.1.2.orig.tar.gz
 40f0207d981850c9d6e19123927b8307f256dbc9b280ae4651ef2320d35e87b4 2536 coqeal_2.1.2-1.debian.tar.xz
Files:
 dc9b861b87233f88030a94721bc1e53c 227558 coqeal_2.1.2.orig.tar.gz
 f34c7b3891120e58ebbc2d4b2b1c8e33 2536 coqeal_2.1.2-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpqFqcZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUZvFD/sFSpGPfSki8hMmNn+PGcPM
loHHmTcfbJnAxOTMlJD+KVylCELqKjOzw47cfR+Ya0Rj8kY296r43mC4fXRjdcFr
+2DpihchYIvroDU4Au/3wytdtAJ/VNVOmVCE3TKVrd28iojRntSICFP0J9D93+Pa
KyNJQBzalkOzbTrqPMCNxGq7DrlBZ4y8hXDE+KeulpnZDNSt+LnxCJIMHYSKnB0U
v82hjH/UIGf9z0UpJbRBZ7vaY0k0jO3MVLXvZR3Td/bCSc7LJHdxLSQrzDkC4WZm
RrlSLAK55DgGnU5GSxfDlBfm+AnM+dtuEomk5OSr5E9R1vmV5rDVLIfc3eub23+c
ixKTcpfOjIhHeHXWGKi4A8gxxI5fzdkfkSeMD+3OT9IQsz7POQ19tJdVd81ARWay
lV9Vpbmwv/rt+UE6hyvf8oViaQ16LGdmmoBwzpgDKWBdxNQzvlM6wwEVZ9Q/tO59
hf7y5dLGBMsOSoEcVLRW02O1AwxKgteSvAIOZJjo8bTaGD9q5myYkM7+pivhBu7C
Nvi0AGYQO1PZ2uTtsxjJ/zr0SrdwD9PYon1Za5bmpbOFV+GQLmY/WVYEps4YVaFM
rsKMpa0BqsJ4+4QymU2MRFd3Movcuq5sPI7B2j4hzXgMnf5pUi0hq/kcSlrW8K5n
XUt4IRbwmPmuDwNZ2OjRug==
=LVsg
-----END PGP SIGNATURE-----