-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq-corn
Binary: libcoq-corn
Architecture: any
Version: 8.20.0-1build4
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.7.0
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-elpi, libcoq-math-classes, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-corn deb ocaml optional arch=any
Checksums-Sha1:
 2c48db39d3667975199bb1c65e9c168803cd01e7 1321158 coq-corn_8.20.0.orig.tar.gz
 329c282d3ec77a0b3c34fb742d19b9f8477c938e 4460 coq-corn_8.20.0-1build4.debian.tar.xz
Checksums-Sha256:
 081042aa230a734f8ba292a91163110ad737126d6413f1f37cc2416b9acfb305 1321158 coq-corn_8.20.0.orig.tar.gz
 58973031f67022c251ef5fdb69dd35479c87a27db70acdcf1bbd11f46b5c45d4 4460 coq-corn_8.20.0-1build4.debian.tar.xz
Files:
 c88fddfbcb34b0b6522d29ba3cc7940b 1321158 coq-corn_8.20.0.orig.tar.gz
 2ee51f3024f058adb92492ae0aee26c0 4460 coq-corn_8.20.0-1build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhUPJ8ACgkQ808JdE6f
Xdk8Nw//YqhPC6slemLGSCDgu9vkTFljioyVuHdIr+wPJemEW3U0GgNOHOUJQXED
Df/l1USPsApMkqsEM9KXXBBBL03LQzTxST07PLDUDxFq4DsSjVaVvHo7G52X/cSY
wY3TS3L2NiS/kF4oofDIlRgnAV4WK0Iup+CJ4gGOYJLAidKtkpwIwiR5c/mBBQ8k
VTBuBdFm8X9BYTjtz75jGjPZGBlwOjFlQ8K3gEHwJWlldB8JLPLwH1gh77jfDv4+
nddMY+awXLPKztJGjhzp4DO5F9NbQgTyGFxjLv9J/mKf4g1SVDciFQs9Eda2VlSs
KntgPtTyQkJIxPZtsQhhizHYKFY3R1Ww9FF0zr79630y7rFMWip+XTDVR4ElbH43
i2x+xWQBwKy5T4skpguLshcB4iiO79jpD+wqKc6GImNvibQT/PJ4ROeOR19LE2AA
d1M0qx/Ztpqzotwr2LkJOjwi5+AIl+mg7KJsY9sCq8I9qTdDp87ZQ3Ssdsd9dt2g
TN61St82vXy4fhXHiJFqmRdYXpWthntn5W2tCLMAx68427MGLzJIW/MkF4YxQH6N
8SuI4mmFZgbWFaeq0ojkgyW+p2d3jGzTHnK52FxG7F65/M8fdyqi3TI+XihJ9CMX
XFuZyYadyzzPcyM2rJTkrycmgT7/SpYhaEJfaTdtISVjf1DrmLc=
=jUbY
-----END PGP SIGNATURE-----