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

Format: 3.0 (quilt)
Source: coq-corn
Binary: libcoq-corn
Architecture: any
Version: 8.16.0-2build2
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
 d584de88d4246950ca559231fd0570f25d25da26 3936 coq-corn_8.16.0-2build2.debian.tar.xz
Checksums-Sha256:
 80c20cea5b66679115f75c521d57f2481e7011c919547fdbcbcf6402d0bec995 1319677 coq-corn_8.16.0.orig.tar.gz
 7830856d5108bd01d41da90510997b18c3b38ee961d0f312e364ba3cfa12801d 3936 coq-corn_8.16.0-2build2.debian.tar.xz
Files:
 01611ef0545afd98db04fc7c65cb75c3 1319677 coq-corn_8.16.0.orig.tar.gz
 96a483cc4a6b71653cd49aaa48e2c1f0 3936 coq-corn_8.16.0-2build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPvKEYACgkQ808JdE6f
XdnB4xAAlrQqpcwjSHO1x2URC6vROG92MuuZG6CXIFayR5FszmL8KvJdMkvZ5SIu
OBbFz4XjWTx5PP3cLRdGlapEq5ZBHItcklg8xkD13BpwzZa5iykAPh14e/0oy6JU
Rn0OkDBh3Mwj4/TM7hIqSSc7ubCiZHhmlI/e3W3Oe5BjBL/cdN0VnAiFikmNlI70
9IbLOkJVy8djFCnaUoXcFM/ly88mU2lXqx8EqeDUfgrnGenut3Pn2QwXE6UUquMc
viAE4dJMObK+MkYs9imFwX+L1869Pv5v9DZqbnkRny5hfAArlqlsrC6qlZlJWKfd
uhSoM2U7KrjyVNRIKmznxgp7FWRji8NfSdthPr1OKQmBsO358ysiWJFraW/pwHas
h8qgecqsJnj8MjGrAm/9gCDAKbkPfOUOmrSSPUhnp1ABDUPF3LBeTjYVyHJMzpKZ
B5eqDehe0SgbSbtDMph4/A3qThfpIBACbwmced5PR0DIyZ1JpmOFo6p6fLGeJvr7
iHLBsi28eDwPuJoLgXUXFlPozdhPeyT1EyMdJSpHylAebFRDhsXM7HZOg012PTkY
ve7xfTW3VHL64nll2OFAs9dZMNrVaI6jS+B8W55JJ+Y5Hke54sS6OXKnp0zYbIAs
OG0OAtuzi/kB80VpUyLtGYyzUVtQ1t8CeGbyLHDZpgHgVVLt72o=
=FITP
-----END PGP SIGNATURE-----