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

Format: 3.0 (quilt)
Source: coq-corn
Binary: libcoq-corn
Architecture: any
Version: 8.16.0-1build3
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
 cb1adb4ccf4269056d106888db6489fdaa529d62 3908 coq-corn_8.16.0-1build3.debian.tar.xz
Checksums-Sha256:
 80c20cea5b66679115f75c521d57f2481e7011c919547fdbcbcf6402d0bec995 1319677 coq-corn_8.16.0.orig.tar.gz
 a711570aa6b0a31c3d3b81c5c5b104779fe9419883315298cd9a9fc41f179a01 3908 coq-corn_8.16.0-1build3.debian.tar.xz
Files:
 01611ef0545afd98db04fc7c65cb75c3 1319677 coq-corn_8.16.0.orig.tar.gz
 db8a2eada36a3442f5b381c0e81f6503 3908 coq-corn_8.16.0-1build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOwGJsACgkQ808JdE6f
Xdkw+g//UHM3EQRWKDjDDH5SBmUz4s5Zo0F0QeoADZLWE5JD6d9fUnSAIa+9T5MW
aA79AoAaoqSq1yM2lvK3aAPpzGE+q7n0YqgYkzQAy+q1zUTUKVEH5XAlTpe8TRMj
16AukKUoVacfQCDSWC+GfOPXlpurrX+fkmAqJXpudeSJehE83CqEIJQ3t4XNKilJ
PSkX+VWTMqkv9/+SZzLB7fd0jKVL85f2QICf3WJZbg4x6JBSYMwNdOrl3iYYX3v8
i5z0fJjQHDuHCHg3leVZObN3+p34Mw+Dwwx/weMZSW/nnHktnSKxTHNOVYqgGpRr
ihHpDVX1ebYkG7hrPazpacAq0mfe/mnkYF7GT7AiTCIx634571/nXgMFBVNR5INQ
g5mrO4xfzaKEv4Wr40FKAAX/rAY3KXvEUEQW/CuPJpCvi257k6l/tJ5E2qXgjVlM
7sWcQNsmBfmD+U3rqa/i2iOPU3mmtVNoWxoGYVHtT5oUqYwuGKlsdzOguVdyUAmE
vrGI7KQRXVsF2ytpWyvkZRTd+7wTvIpRH6+NKEZxgai86yz6Emp/0plbNvRymBQ9
Z1J+zlpKjbTYmJCo5GIoKQ3BQOi/4+vLRCfiOiBBdG++uSzy+ljSN07SmvICmEi8
gtWZ7/9ftyz53+ASCjTzefCxMOe0OmGEg+v6TtCYxa/OS2JIJDo=
=xjuf
-----END PGP SIGNATURE-----