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

Format: 3.0 (quilt)
Source: coq-corn
Binary: libcoq-corn
Architecture: any
Version: 8.16.0-1build2
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-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
 1ceb47fdb183bf8fdc4ffb99aa33fe28fe4e1524 3900 coq-corn_8.16.0-1build2.debian.tar.xz
Checksums-Sha256:
 80c20cea5b66679115f75c521d57f2481e7011c919547fdbcbcf6402d0bec995 1319677 coq-corn_8.16.0.orig.tar.gz
 39766a7b44dce34c38281191baa6d9e0ab23aa174eccacc45174d8fcb94ea4af 3900 coq-corn_8.16.0-1build2.debian.tar.xz
Files:
 01611ef0545afd98db04fc7c65cb75c3 1319677 coq-corn_8.16.0.orig.tar.gz
 fa1d40879263ac5ab19e8dc57fca9908 3900 coq-corn_8.16.0-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOLOa8ACgkQ808JdE6f
Xdmnxg/+J1jiJUgR51EQNiE1jyOHYNyga99PNTUnFYF/vxuldYMeZpfFxDQfTv+n
Lsu7+4+EDrSTv96Vsikgwem8GSSg4m5NGXOjLB11Zr+UfnNUQ/elOdwkTD9/lbCV
BCWWf8oz99xfN4G23Ct/ZLJJCcCdZheDdC1pzkey9XYdk/TQnbbmkXPhFybjTwt3
X2KGEE95u1gwqJ2Dj0vJ1I07hAVUDPaUD+EGhIYfX5DtBa64Fmf7vwsESDzr0Z/9
zNnyLC1BDVDbgJ5QVZj75qDxoZWU6/5dbZ98pVDt/voayEQh9yOHGQ/2uD+5bn9y
t48woUI5HKtItpT9K3vVC2W0cwtVAY76ytBmeHJrL6jHNtlTO3NiM4HV9+xiogSZ
WR0/2oEpaek0zadJaOUKBZN+s4BzQuga5lgC6p7eYdORKgRckiH8888TPm/ORiD6
X+lbMJsev0y7MWTKZn7lUqrySQvHywLIDXysfF4oCZCcOGiCqRuI9VJhzueBake3
vCtyWGpzAdDIkJBTaEALrVS9fsu7FlTJtoITcYatmFgbxjI8tL2R91T+HGN3f1B8
UUem/+BA0F2Qonh681HqeSkgdqxbLXe7JzWEWws4py8mitsIW1GLrTEXpRXBy9Ji
ZrCf4/BhGjC29wZhkFiIx4ikwYj++92H4KEW4R57deflA/U2OAc=
=kNoK
-----END PGP SIGNATURE-----