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

Format: 3.0 (quilt)
Source: coq-corn
Binary: libcoq-corn
Architecture: any
Version: 8.20.0-1build11
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
 1ad46935fd05a8df09fb5534b5234a100e6ef909 4564 coq-corn_8.20.0-1build11.debian.tar.xz
Checksums-Sha256:
 081042aa230a734f8ba292a91163110ad737126d6413f1f37cc2416b9acfb305 1321158 coq-corn_8.20.0.orig.tar.gz
 bb39733a43882b5fe36d5b895576b704928e865937b23d90a8778fb61e1f5806 4564 coq-corn_8.20.0-1build11.debian.tar.xz
Files:
 c88fddfbcb34b0b6522d29ba3cc7940b 1321158 coq-corn_8.20.0.orig.tar.gz
 56a3696d91c3b1d9b9aec2a984a2d10c 4564 coq-corn_8.20.0-1build11.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml5L+kACgkQ808JdE6f
Xdl9MhAAhJt1kWCeTMGoCiyvwq1Vhb71mukBMU1t6BYQbr4+47aeGOAX+uFg5lC5
RpeL2h39H5rabwVxB76sT9x38ZGH60YnDC/j6JgDyklcey55pKswyoS1G3i6rSAB
eFIbQzU03ipxfGY0xXFBB15uK4w+ltcj6YnVc3YMjx05EGfm+YaKJuMYZHgfiuvm
ge5yfmapkIRZzmA1+ubZyaOQU1MHVNaO2ndLE8nBYf6WtRStID/vC57cqNjxQ3lP
mNBqI/CfwCnkuB/NuamrEJ/OVZl1DGYCZczPnlfFYdPH8ohWDYuC9BgB3sFFGJgQ
HviMGbLJBoU0yaOtynzleGxqtW8ovzMuzpqk/T4GVIhQiMacX4J4NaEnrg98iErT
GOTcpgHtAxvSOBfp9D44KpYRYKb3GjrfswqKe5a2IQMqPOYf9qMDFvrLFtSZ3dYG
6GC8kX+zezyeVCXersKaRQKVUC+f4SauwkcwyKyBTURlmwV1QWaDFjp8dD/IXeCH
DeJn9mMQY101SnyaOm6X9T+Sckckhfv9rCbIYK76isQKT3754hyq2WRlWs53OQXT
cSuYFgxB4Si7a9lgJeWQDaodVK0LPzyBgCxxKdjTbfTdgiXtvUcyvI7UrH73jTj7
XBrCWp8BxgDJOfOYVgdBtcVpX2d603qqLTbK9goIj///YXsMX+U=
=Yjqe
-----END PGP SIGNATURE-----