-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-corn
Binary: libcoq-corn
Architecture: any
Version: 8.16.0-2build3
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.6.1
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-math-classes, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-corn deb ocaml optional arch=any
Checksums-Sha1:
 b40faf9c7202d6e0855ae423e07ce46ef5be7e1c 1319677 coq-corn_8.16.0.orig.tar.gz
 e873c9aa8407e9ea42320aeb5472fd218abbf1fc 3964 coq-corn_8.16.0-2build3.debian.tar.xz
Checksums-Sha256:
 80c20cea5b66679115f75c521d57f2481e7011c919547fdbcbcf6402d0bec995 1319677 coq-corn_8.16.0.orig.tar.gz
 97f1f27e7cca989f307b6c437bfbefff673e1f716de7216d44f35ece99a6657b 3964 coq-corn_8.16.0-2build3.debian.tar.xz
Files:
 01611ef0545afd98db04fc7c65cb75c3 1319677 coq-corn_8.16.0.orig.tar.gz
 2b8e4a1014b23d7fd13557d47d27dbb1 3964 coq-corn_8.16.0-2build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmSILLYACgkQ808JdE6f
XdkYkxAAhVnmXHqqOfd75eLHrEJ8MVQsJFEb9OX84Pqg3L8Fq3r/VnWQdHSJ0PK9
pO8EcPe18CpJ3t5DfQJBQmOnEGyVF8gYuXn+nSUMCYY8e45s7qaGOBHhSjbWT9gf
YZ3jYp/DHVX7qtXzaNSfxGIAKFta6ACKznl5lnQUOkqaHj2svuTxUI2txOsqS9bu
Xdjp7bgMDz2Pvs9CBXl+FFu3GOv4NXhGJzEswqS2Lsp3+XoJs93CRCqKjyzaArIY
Pzdioud1NHrqa8ISruiPAqlJSucUIbLqliLeqMlXG7tOfZA1vYj9fWmuiZDZCSOv
KuC8AZnGc4uvvOOCb+y1T6oGFPcjF1z92E0Z+4+ju5RaoyL/Y9D9ZqZe4lfrm8uU
bbCe7tctz3vurPxLKeAIA0LBIinF6LucHJMCHv37UxUsPzxpA2WpXvznGs84ZUNU
d1IKwKq0ZC9QDPUB1WhjzccjsUdwTJ4QNMLgnHpcmmes4w07xskmZT0GsDWAWv2d
+mE9YGz4ldBJPHotkpCwWvPSj9MQwjp/o+G5DE97gCBNFhi5pUybxerT2YDwcJsQ
Ly9uhZnNsGisVxyMO7i8cp1nH4zQzNcFVDHelvL6ocLfdkPHxOnaPqC+jbwP72tc
7G6i7xQxkg30Z4un2sXQhYArJDV3P0AjIIpTyH1LeeOq25Yb/Vc=
=P+qi
-----END PGP SIGNATURE-----