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

Format: 3.0 (quilt)
Source: coq-corn
Binary: libcoq-corn
Architecture: any
Version: 9.0.0-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/corn
Standards-Version: 4.7.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-corn
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-corn.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-bignums, libcoq-elpi, libcoq-math-classes, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-corn deb ocaml optional arch=any
Checksums-Sha1:
 b93d9213aecc6b236531fd58fdd6c05c83145ede 1321476 coq-corn_9.0.0.orig.tar.gz
 f70049ab1381dda85c8b00908e8560a17f4c4f97 4448 coq-corn_9.0.0-2.debian.tar.xz
Checksums-Sha256:
 e47efaf23292cd7b8a20a22a6944249d292ae715fd3c347eaf8453f796a90d4b 1321476 coq-corn_9.0.0.orig.tar.gz
 d5bf226f21aa7b400b04d0e22b1ed3006423da7d3955c94e8d9f14a65f245b2a 4448 coq-corn_9.0.0-2.debian.tar.xz
Files:
 43565ecc27132000225aac8de08c1694 1321476 coq-corn_9.0.0.orig.tar.gz
 6bf5a8c1b4021dafbe20a1500e9faeaa 4448 coq-corn_9.0.0-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkThWEZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUdupD/oDXt+tRJrSr2P/L+BZ3uZ4
btoMZ3gJjAhrehOQAh4fDgzUuS0simoqj3UynFZsfrJJqcNGWPARHj1KyDkqI8vC
vJnZHmiVzglW1aqDPPBv2MzgbuSaeqebz4ipzTFs4Vc7DNkXNPeFgcLNrnHP7QLG
wLl8cMfMIkc40Y/W5dgP+K/gZiwT6FuZq8gXtU7MG+8BFdeLM14td4iGe1bnXk3V
C9bjf9NgktI40hNCIovG2RAfLreM5kmqb8aacVGG7e0eJrgZNyXDXnqCKD1GQ2Vu
1jtOXqcPZvKK5UrBe7Iy7Nb228GHfQddTA8dxf8pq0J/Wdjf0njN7SRfkEkhUpkz
721UHoM/LDaOSxLtiBPKFQwTaodNEITFQOYPMvoH4AOr2YC5uxHXg8xs6xTIDLUW
Tsop64IdowlDzy8IUtxPRnQW6PXlfuf1IVwfbM4ogQVyb17kal+nd5KYj6DPkBLy
6q9AnbpUKMNZt6waeRaP0dLzT46W+nQLm4gbRyav1HJwiuurWRiY/YeYDogC7Q21
xcCnQUsR3ZW3QDJGYnB0Uytn6G0kx1dwI3S8+lciRurhPAKgyunW+4emkRYRVFr2
7bvR77VKUhabHNTt1+rdXHPNOMoxJ/9IQEJ+fXUMJaS1DfDxBwPHbdXoFuzbTvoa
hc2KpBlg+6BB07d6FvpEog==
=Zv2v
-----END PGP SIGNATURE-----