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

Format: 3.0 (quilt)
Source: coq-corn
Binary: libcoq-corn
Architecture: any
Version: 8.20.0-1build13
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
 831fee4c9b79e1eb39cfc5b4e8bb7ef4624f58c4 4644 coq-corn_8.20.0-1build13.debian.tar.xz
Checksums-Sha256:
 081042aa230a734f8ba292a91163110ad737126d6413f1f37cc2416b9acfb305 1321158 coq-corn_8.20.0.orig.tar.gz
 10d479ca22e10ab2a4c500d6114b18bfe6945c1f5f22bcffe7588f0a5bf0d2d2 4644 coq-corn_8.20.0-1build13.debian.tar.xz
Files:
 c88fddfbcb34b0b6522d29ba3cc7940b 1321158 coq-corn_8.20.0.orig.tar.gz
 a9859af780cea3d2a4062820071cc084 4644 coq-corn_8.20.0-1build13.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpOxy0ACgkQ808JdE6f
XdndGBAAlO5NzP8wBWUbB0zo3nftoQ4P37CPI6/SeJW/Pnr6+y4yo029xDBRSWdT
xKkYcB6QDh2xypuyyf+S0j1ccarB/jBUZVlwsxvNT5E4VuOTuOK76g7MTUcpVUHb
crSZy/mR0yn2eXPiDmk6NTdj5nGB/kbhpNr+RwAO4ow2qeNTTYg+pLuwqtAOFt+A
pXeS112vvyRal0KrZwd6x3HFTr4NsgsCb5FTWJQpIqJeonQ0vEQxzUJjABZUa8Ze
+VUXrZ7UjDoUhTBvAEHhKAk2FET/pyqFhzU4RR0H2DieSzveC8KeZG7CUNfi1d/b
smxyNOwVWpZdTJn7Q8QCSdmB9VerKN4WjpWKTuuRSduiclkOilNuUP8tSLcxXbkL
0V9OOyjNXBr4SM5apMvjrDo+S/exwmFfVqDGevEKF/nV60iSgq3znNnfnEv9/9x9
oZSyU/gmTegDvMVNW2XlF65wZe+aCVCeLS+DwGcR+hODyMP9qs8zmApw5Ppsfs30
YUJRhgrv8sG3rMzR7TH1o/S/Syb5GcxK/jQ1KNgEBORo0EFhDNerDkU0rMP01IVI
TnryXi4a8Qm6mzKgQbEzBD9BLKpUaAHo3kXHNtx2XvW9XOgdxFDphX49krt5eWQY
615qNEji7Vhm/mxg2QZgayWkIJbrUJnrRDpMph+bY+uRRzxGvqw=
=BBmy
-----END PGP SIGNATURE-----