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

Format: 3.0 (quilt)
Source: coq-corn
Binary: libcoq-corn
Architecture: any
Version: 8.20.0-1build1
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
 2b9cebc1bf5bba4dd76599b613b66752f8ea68be 4372 coq-corn_8.20.0-1build1.debian.tar.xz
Checksums-Sha256:
 081042aa230a734f8ba292a91163110ad737126d6413f1f37cc2416b9acfb305 1321158 coq-corn_8.20.0.orig.tar.gz
 51c945e949eb25743df247c5afb79face0ac5c8be77ace6ecc6f6ab52d2722a7 4372 coq-corn_8.20.0-1build1.debian.tar.xz
Files:
 c88fddfbcb34b0b6522d29ba3cc7940b 1321158 coq-corn_8.20.0.orig.tar.gz
 4d416c6ce3d676e746091f5bb1a2689d 4372 coq-corn_8.20.0-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAme1hvwACgkQ808JdE6f
XdkLgBAAySn8kG8kO5CmCSO8Y7/KNeKIJOKHcN46uPiRsyloxiFmlFwX2WHK53Gn
xiftH4UKnds1sTrtpjDyCZpew1PUj6YOO96XMclzazoi6puPEhEWsAGlftTYedlg
3Yu8nyxXOmK9XDrVzZtxFo9vLumq3+l/D0hzo2rz2KzEYDj/3h0EXcvUJ1j+hWU4
clelY5m0i/zjgNsk/7XCc7EtpdJLI9DC3F9tqpwucDGQ8X40jWpeFkR/eT6Di6Kr
OS1xEsbZVEPyYpBv7IWJPQEEF3oz9Ajt9esJVQOzEJZryNnsLVTRWciHxG9c2V3A
aAFcRaAkV7VTafPNFJ9VBAmKL7Flgsim5ay50JTqwalv5i0aPO1wyx9Pl6R8/5mo
c+N9rX01OtEgLdP1zTqlca3NNyYr+sVIuRU6kZfICs2q3x+6vam3LfUrHHKEHKZg
spYGi4KTq51Un3GgehkoFTtaVcsQRpEsKFZl1UXrngLFQpbwbHhPi4Yo0pgI7Z4X
IUMx8qCglTkjZHpjxm3HdXsC4KbhAu7xCfu7yy+vWIyYthVosXaGovY3riQiEyGA
QsbKVgTJzPppxHUFgYZPXovjNmK1QvP8/2daK3mt3AfUCvkyTX0yge6ZS8b70V5K
hoxKTNi2TYRQoKGNyE2NCRspaGMdREoa0LL2FWPlQr9hIaZJ10g=
=aKOo
-----END PGP SIGNATURE-----