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

Format: 3.0 (quilt)
Source: coq-corn
Binary: libcoq-corn
Architecture: any
Version: 8.20.0-1build9
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.0
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, 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:
 2c48db39d3667975199bb1c65e9c168803cd01e7 1321158 coq-corn_8.20.0.orig.tar.gz
 8c9efae6351df50ad021e42783778372772b7a7b 4536 coq-corn_8.20.0-1build9.debian.tar.xz
Checksums-Sha256:
 081042aa230a734f8ba292a91163110ad737126d6413f1f37cc2416b9acfb305 1321158 coq-corn_8.20.0.orig.tar.gz
 675f85ce8a4ad0f4061c426a0b6a7b682fafa73a4347291ba62db862597dbcaa 4536 coq-corn_8.20.0-1build9.debian.tar.xz
Files:
 c88fddfbcb34b0b6522d29ba3cc7940b 1321158 coq-corn_8.20.0.orig.tar.gz
 0148d9e82c2039d15b636e94ed49b12d 4536 coq-corn_8.20.0-1build9.debian.tar.xz

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

iQIyBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmkMVngACgkQ808JdE6f
XdnL0g/4+KIOhkTK1FvNrk5bAPccHRGcddMDR8cK078ky7icOufoK7IluwqOfC1n
qvyPD/BVAe377FzGXG4tYstiloXa3bVIZrRb3aVb7TN/YI5W9CcW0qnCNVEevp8k
8IyUptMIWU1CUcKwo5CsKl8TEgO6Ad2+IhSjx2Wo+rT3gAwuNoeaYt2MS5SbuOy8
kaSPmkydOsiaLcK6X6OEoJQg0riLCED5T4SsvG7+DcO5JW4HZutPTpgMUODrVn15
3Oe6TRc5GE1zWyFgA1J6BewMKXdVfXNDbX77l6VtP3ChzYCFPD+PA6V7oXx2D8Fa
4R2TvsTFmxNplnx+RBn7fSnyadSpGmoDpbcFskS2bUNH+USIwQE8dB4JcsgLWVTE
8OSqUJb3wEdQZtB9/lrJLjZ3IcNHwVlUG9tI/0Ub9ehMPBtAmOAXPg+01R1JxxiV
J5IaVtxu+yJKwFPW32/0Zk0MlcTqRuBQUAhVne+vblqAixYjS2LSlwU6DGRxgnWG
hwqEU0DD5T3EuNKJNTZtOOq9At7GztJOZO0GEQcufLLxj3K64f0u5hBEStF2tZ8W
XClREeSmXBALMoc1Qyr/5qGbHw5L5vjuNNd/BcUBrycPPx7rf3R2BsNOnKKbr6Kz
Yt9P7pQ41R/ZwXx/f2ktp8mgWJtaDfELdAvQEJC2EzrfZIi7Dw==
=ehzH
-----END PGP SIGNATURE-----