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

Format: 3.0 (quilt)
Source: coq-corn
Binary: libcoq-corn
Architecture: any
Version: 8.20.0-1build2
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
 aff47de292260bdc2100d34531fe3afa066b0bca 4428 coq-corn_8.20.0-1build2.debian.tar.xz
Checksums-Sha256:
 081042aa230a734f8ba292a91163110ad737126d6413f1f37cc2416b9acfb305 1321158 coq-corn_8.20.0.orig.tar.gz
 273037584da7265ea093345c22a73bc8dfec0f49f761797bbebf81f0fc801346 4428 coq-corn_8.20.0-1build2.debian.tar.xz
Files:
 c88fddfbcb34b0b6522d29ba3cc7940b 1321158 coq-corn_8.20.0.orig.tar.gz
 3f994c22b96bc4130931700a98e7c73d 4428 coq-corn_8.20.0-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmgbua4ACgkQ5mx3Wuv+
bH0zHBAAxSpLrQXlz0YR/Ai4Q7FmI0dJMbA+QLIAAARpL4gvOdCnIRiRCvw0ssgU
nKcSaPljFuxCFiv+JqNYbLsEj9eMKu4mLtrx5O154kYD5UywcIhtP5Uhh8Rp7vbE
bCtqV0aD/rTR7n+aPsdq2s7QdM9rBqZi7d8ovJaA3EPh4aENcAbtO0rxEx7KSjGV
YwMtN1d8Yg2jejRlX3f23yD+L1x53dEG7cPdOUy31/1WYlIWsmddJDNUjKD8+NDL
9cyf3buPKqwygx4dUcrkBKIKeo7lW8VcE3ORCPQpbFHSoqzdd58IyZ1hpmLaHp7N
NbcOO/pd9E2kHK4Yrbm1K6knx0nW+bejWGe31jjbUfVfwiYKhoZp0F40yYofd60R
zedpnxY+in2ONi8euFB7wopRHP1opy4KlxNJZk8KsDDbTONrAwxiygltXUbu7DfM
UkBZmCTdGkvovSy9al0PVeA4OJVfBl8pwSttmtw8MzlXIrpUNd0rJcXWvCFMjPeL
2awZqcIcTdGKr5amcJQeZ2Bx6LsIk2eZ4CGQG242vwEe8N4mg+038Pn3slP6xdqp
8DNqWpQux2DfKptFoqg6ReGd30Y6S3BiMD5ak2xI2931j4PcjG3rMmZMqjEQdPYj
Tw0BdKxY3/u7kK7u6GnLgATtHUvuhLrh8lKitoUmw7oYtvzBqmg=
=R9Ar
-----END PGP SIGNATURE-----