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

Format: 3.0 (quilt)
Source: coq-corn
Binary: libcoq-corn
Architecture: any
Version: 8.16.0-3build1
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.2
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
 d6171c77db831203a992f244b6bd544d37417275 3952 coq-corn_8.16.0-3build1.debian.tar.xz
Checksums-Sha256:
 80c20cea5b66679115f75c521d57f2481e7011c919547fdbcbcf6402d0bec995 1319677 coq-corn_8.16.0.orig.tar.gz
 e23b5eab1afdb82e2b7930a3351e2f3bcc33a2f3d845595e57c8ef05946fa7da 3952 coq-corn_8.16.0-3build1.debian.tar.xz
Files:
 01611ef0545afd98db04fc7c65cb75c3 1319677 coq-corn_8.16.0.orig.tar.gz
 1bf6df1945d189a316fef11e6bb9dc2c 3952 coq-corn_8.16.0-3build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmTAq3AACgkQ808JdE6f
Xdnf1Q/5AeiIvvAs/qo9Y54IoHnAIXVKMewsroCIzA7qzqbAg+tq22AA/dSKQ98C
iV313tVWwkl0Y1d8ElfaEhiiohPacmA99IRU+tZUy5/TsMgULdCRXxaHOJwLmB3F
fclnKuHf79hMu5yMRKGZ7s7pgBNF9oJIthJpsfrDWoJHSfLdqO4QLF2eB89YWAmL
XQp3LAM4i1uSjmRPxxexqgedK0vG/xCea2bsG0IurSEGnIQ1BPo+v72JFdYEaotW
Bgf6r4Uag52iUES5N+S/SRg0+iZjrtYGfTl7gkabAf0+hdZ1jios6syukeoJTg0C
gONm5YK6jpKXUgCajeI2e8ACmpB+QG1rY5WFliZ1R+dCrZWbAKDxGxwCgmVcS9BS
CAP2raFTXzbb7dqcKzXXKHj56GGWdCUx44I2gL6XSXPlY6bIcCN9GhPoW9Vv+V0a
egi3tnwCsu0dwox4acQSTaBaFVCK4J/1vw6PZBUv5ciZjTJAmIeu168Vc0I+FaMh
mguzAJFw1cG+FEuF14rhzVzePduIgQjxiHJ6CWitrfTA3kvMDJ3IFW1/2Zv7vRv8
WC8iT8IS+5Hxt+LPMhGgCW5AH6CxzP+aSclewvopDp+kpYkekimryhaMDVdnPXs9
630GseqBKcIfEqP/2+y1/eF1Pt4lYe7Hg12mOn0rDawJzVrWVJM=
=FOs5
-----END PGP SIGNATURE-----