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

Format: 3.0 (quilt)
Source: coq-corn
Binary: libcoq-corn
Architecture: any
Version: 8.20.0-1build14
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
 f7deeb625129c5bb4945501f61d196bdf882eaab 4664 coq-corn_8.20.0-1build14.debian.tar.xz
Checksums-Sha256:
 081042aa230a734f8ba292a91163110ad737126d6413f1f37cc2416b9acfb305 1321158 coq-corn_8.20.0.orig.tar.gz
 85dc8d796adb53aa96f8bda4eac4e233480fa1253c6e3a665ec802c2a5a57ff7 4664 coq-corn_8.20.0-1build14.debian.tar.xz
Files:
 c88fddfbcb34b0b6522d29ba3cc7940b 1321158 coq-corn_8.20.0.orig.tar.gz
 1e489564879305cc047700c312ba6ba2 4664 coq-corn_8.20.0-1build14.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqW/VgACgkQ808JdE6f
Xdk6LA//YWhcwGU7wSMaWvJPkQtJYmzgJelWGDUg1kFUdV5DsLz79lTh9oD4XcyY
FIRE4L8b+alJrF+B+xdz0dcQWjFE0WwP223H/0sZR1pRCA84Zdila+/NoEFVzfYH
PkKwrmMdhagcBpphiqJWX5JwSePpAGbI0Ry6htD8/i0ryLxmcxRGzpXaC6nnWIT/
I63bYCERxMsQjFPhwIZ3By7KQ83fSLl8ckVoFwBL72SIkegUx1VsUa7rnG2bvUYq
HTQC9tczLOo8mGdSLPqeQHLrIA/Y43sSFU+wC8rvRXGMbnEr0vzziGRJ/2kfECBd
j8yY/5OvSO6wVl6B2TQal8itt+l7jbgIMUIdbRRqT0yGsP25B+ENcJVRFH1H8vE7
pF1PpHocxHfqp9L/J7DElIr8pY/oLqwamKFd/aWpn56nYgQ7mCNLAN8oOdhx/oFj
RXBV140Q3Wr933hnxwmWguAJX14J4QvBN8C2ackmd98s0v0o6hTIpxozxHSvidCW
RYLgEbcwEjGfiYYECa/e+gGOVuGPtEg2CT/zRf6u/93Q7H9fYD+KaFNOQYVPzwck
8O/W8zSILNDuaDOkPm4PAy9OXWb7BOKcyUGaR3zHxiR9evaf69KmKgIFhu2Xog+n
0HL8ApBYj5mhOIXSpUV8yK5w04706OSfDhyWe6mD2nwuSoOXds4=
=XaOd
-----END PGP SIGNATURE-----