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

Format: 3.0 (quilt)
Source: coq-corn
Binary: libcoq-corn
Architecture: any
Version: 8.20.0-1build8
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
 8f130a6387d08f4528e9301bbe95029aa0e24b6b 4520 coq-corn_8.20.0-1build8.debian.tar.xz
Checksums-Sha256:
 081042aa230a734f8ba292a91163110ad737126d6413f1f37cc2416b9acfb305 1321158 coq-corn_8.20.0.orig.tar.gz
 10a084577c0135ecf9034649e861b2d9cb5a75ff100b636da003ee2b79134821 4520 coq-corn_8.20.0-1build8.debian.tar.xz
Files:
 c88fddfbcb34b0b6522d29ba3cc7940b 1321158 coq-corn_8.20.0.orig.tar.gz
 b61f638a0652211c42e07e0cc047af9c 4520 coq-corn_8.20.0-1build8.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmj8+PcACgkQ808JdE6f
XdmdUBAAkVctDkLOScg3G1OkdP5SAdMqMLRvxNkzmNWYDueEl3Mh1i7rTThHX82C
SfMDRbFKmH0tcxk2ffu+cN9qj8UMw2IPdu0KUIAGOyPOre2tL3b8+sL3SiSujmBP
6LXJcuyFRAZuSsFwxeeF3zpjiNFqzdYwOQmY+SQb3IKfu0ySLh+EwR9PMKRtqM/L
IvJXvJQke3yAcdKNUEgFQSDVlwS58TalT4hC/rbrtKLXg9c9bewU6gVd+F34K7Yn
xiG7i7ZvdxRwtO6gs2YVm8ljvewOsOSjjUs+9fs53BNSkXICUVi8UEK3fKzOAaA9
qlfkj2MiPoRxuyKhvkvDLsBwi3+ygtJtrnTPW7Te/EmcNDv9Lm4+RJT607//Zi86
DE0saWocOoT1Xv/A38eBW9ZLi37kXpaICe8THbCExlrcnXnMVYIVQiiVNAPxq/H2
Xtt7AA/IgCnawKDvkbIwYwvWKsAItJRO9QLexf5HRcyIlkGJStJd3nJuHWnYgncU
mObZD0Esj8gKJLbkuO+Dz6rcbZcYVaruJ+QE3H7otei+292998qy3/qr032FHueK
yoz3bQDWbPWCX2febdWDuK66O92iEayLjBQFZ+MruvIed0U9zoWJNQlVZ27iD6dK
ehnxBRhZipNXianJXASJeFxV/MbNlQ7A5Uiv6U4aTn5I8z82qPo=
=utWT
-----END PGP SIGNATURE-----