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

Format: 3.0 (quilt)
Source: coq-corn
Binary: libcoq-corn
Architecture: any
Version: 8.16.0-1build1
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
 68ceca0e86b4cce4b7abb2942adbf30d3bc93a80 3876 coq-corn_8.16.0-1build1.debian.tar.xz
Checksums-Sha256:
 80c20cea5b66679115f75c521d57f2481e7011c919547fdbcbcf6402d0bec995 1319677 coq-corn_8.16.0.orig.tar.gz
 6ad107f454c9eb93d4f9ef8eb3a23b4a5efb25d7a99aef94d9034dabe7b12150 3876 coq-corn_8.16.0-1build1.debian.tar.xz
Files:
 01611ef0545afd98db04fc7c65cb75c3 1319677 coq-corn_8.16.0.orig.tar.gz
 10e7e68ffb76a0dc6b9786a76b4773ee 3876 coq-corn_8.16.0-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOBBhgACgkQ808JdE6f
XdnU/w//VxWx4x3PplZfuufnJRVH0+SqjU02M8BxX73ouFWG8BMF2A4z888tAyVx
jBXv/illyGkLSbr8VmzwOszP9CAUim2jn9CiDYhZSflimXb8WE7mcZ5353wYkqDQ
ONvAeR3QMMDcY/rg2syCWuTMcj7zZ+lXFhEdmsEuiWKUTVcdfmEz6v6jScA1Z6xV
4kSGhMmd2xIm5C/q14XBFDnPiICmooJ9cOp2FYlme8PSfcGwL7J3ZBP5735N3XtB
LSLW/zHo9t5bvmnU0LldGcsCmoOFcPqpL7rkru1A3zj5+7xLze5wHbUj4M3UDWEh
GRLsZpY14m9eyBJcBE+A7ue0x+rKDEUwz7FVNNLtNLAkpUjKLbF2tBPkBiJTFAp3
+5YjPgNQ0KJKId7fidbcO+cukR/AHyfLPR4a9oFFwZ68LVI+7T/2JblkuspbBEvi
IDbQ1SaoZzWX7I/PUe5AsuKhcubQKcYMs/V1p1kFgSRsFO4jGqBQMdFxzYBsi3eu
zv2jBeH8ooAeLCwE1YwywiUrNSK72OyaZLxDb9EuBd13Cal2ufu6VL0JUBiedfhe
2mGgtPN+dQZQPpv7IPtSiP5rLhM3RLEkwZ3un61Yq8LalHwAPzd/qy2rti55mRFV
wsmHBzSV1uNE1bZYbNI11hVK5fIKaKvIK5la77qixNF5hH7nk7o=
=c/LF
-----END PGP SIGNATURE-----