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

Format: 3.0 (quilt)
Source: coq-corn
Binary: libcoq-corn
Architecture: any
Version: 8.20.0-1build3
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
 c02ddcf8430a0e8b67cff576c1406cedfd3f654d 4448 coq-corn_8.20.0-1build3.debian.tar.xz
Checksums-Sha256:
 081042aa230a734f8ba292a91163110ad737126d6413f1f37cc2416b9acfb305 1321158 coq-corn_8.20.0.orig.tar.gz
 be2cb89d78beb6a9cae05e9ff93b6d4eedbdc81ee87acea11ee016895c009d6f 4448 coq-corn_8.20.0-1build3.debian.tar.xz
Files:
 c88fddfbcb34b0b6522d29ba3cc7940b 1321158 coq-corn_8.20.0.orig.tar.gz
 936ce84b9f16bf6572626d260f9a7d67 4448 coq-corn_8.20.0-1build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmg2xBsACgkQ808JdE6f
XdmqXhAA18OoH298aqjj2cx125CsU+Oc68B/KMAvZViWXRAoamcKZfkhsJx5l87I
r+fJA93DuXlUs7HIAOrv/Oj3pOtdHZ21eg2VmYk+acYVXp3hzJyBrXM+OqIGUGLP
MzDu/pbO7OURDFbp5hZ09gEKyg7ELdoMQT8g9i96VVAF7NFT5TngMuVuRccTg5Eg
QLWwS26K8dXeGyLBHbYDKQvuA/X+9dhMQN4JgsjUFuKCvU1ff1GCOfiaur3EV7ha
xkkSczEbqPNS3f3dF4AWMl2TLVvTTA4zb5cHgMlHbNVHLnMuI1vds+uu8StpWRYj
b7oPb5TGeKvlbLR6W6SFqcL7KW7LMA+WAjdaIWwEtvbnNiVvCKBb0mUJaZiP1M7p
WihkSvZHyFKN+vjVDw54RVUp0vxWju4PZVPvlpVdD5C3qCVWxkyLHb+jTNTcc+iy
GWAiPahFdGAA9tsb0iuiJ9JzHG3nGYsZCJNlP9HjXwZ+GzCf3GY1ge/EVQvDuQDd
Xs5gnUlTtjhgJO0cG9UMw7VM4JYP6amVW0jUlVFj80V5mMtL1bvFwbiMMswaEFSw
tAELvrNv6+Ff6D4jOiV95FgCpG0NxoVN37kHd9zBaxEiwLiBVHPQ1fY5pImJdwup
quyBuh/gKaEBjxl/+qZmUlRRhFcEBc0bS05nV5NBEdcLr0pLLq8=
=lEyD
-----END PGP SIGNATURE-----