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

Format: 3.0 (quilt)
Source: coq-corn
Binary: libcoq-corn
Architecture: any
Version: 9.2.0-1
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.4
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:
 a4d2c3e70a5ec505413a0f89c7d2598919f9a8d2 1322383 coq-corn_9.2.0.orig.tar.gz
 df2f227b717975dde4d583205a9c7a89e5e5b840 4468 coq-corn_9.2.0-1.debian.tar.xz
Checksums-Sha256:
 d34e30c278209eef5d566c97f2b98c5fe1981d99cec29e269fb89feaf45b9109 1322383 coq-corn_9.2.0.orig.tar.gz
 7dbde5967582f37eb1514702d75ff032f3b94d8ac09422718d17021d2c23148c 4468 coq-corn_9.2.0-1.debian.tar.xz
Files:
 9355d13cfcb76c052a8c8b7cbb6b157c 1322383 coq-corn_9.2.0.orig.tar.gz
 3b2f77d1703993ee4b8a45d236ebe0b0 4468 coq-corn_9.2.0-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmrlvlsZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUTHtD/9quw2oH1t5hQskZdAbdZYM
i942XDRcfVhACuwWd3RRZmYCzFN89NECXmtgz6hF2lUkZY+U0vEvlXxY70ieJ2mZ
G0i7819Kuht/l7g6i4Ew5qkiiRrN1V+tvSIcu24MQ4hFh2xR5DGjHkXYW9ds9NcZ
ZvzWPGmO/q+knt/VFKtdj+3ksbcTQPXpEvVmloFPPy6SI0tqfP+s02MlrC6YnKaw
tI7kiCM5xOk9dpWc337gaBC0KIZIdwF5y8jJVNTPQ2FFWu0UDGs6EeCtuEf9AnFR
Lxfdo6BugDE8+avwj1BtYjda+e7UkMwP64UWPLrZjEHcEjDMCdJLBRsAVogFwIZN
lEKNYDExXhlCT4hFtyEhGv7Wo6wBNPqQcuHnqWy9cHdc4q5dQaB5743/ulNwsoCf
ZT8AKP2boSyuBL6ypMUqt9zOexIXZwh3ch+hoWZmHk2d/nz8KDrSoqyU0kJ/cpe3
+JetMjZiP/mT080B08eKJ4kRCa6vxValD2AUGz/MxVrNVteSlEP1RDVgEiobRLWW
hld3Ncn/QzxsPaiWaY3cd44P6nqGyVTpzeMf96sQ3yfSHbRvIQ3G6EDaiw8NSJFc
kG3TJmzU5C4oTUZC1aIdiJV9RgbPwf0iTkIb4j678P9GuaKiANhpZikmZW5bHlYw
RUL8XOafcutgj8OQXukDmw==
=W/4b
-----END PGP SIGNATURE-----