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

Format: 3.0 (quilt)
Source: coq-corn
Binary: libcoq-corn
Architecture: any
Version: 8.20.0-1
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
 39370557eb0f6bd7ce9e916aecef8121df3fc831 4296 coq-corn_8.20.0-1.debian.tar.xz
Checksums-Sha256:
 081042aa230a734f8ba292a91163110ad737126d6413f1f37cc2416b9acfb305 1321158 coq-corn_8.20.0.orig.tar.gz
 9040a6be9c6a8266346d06265d63225f5093120cad4a15e868da9da636211754 4296 coq-corn_8.20.0-1.debian.tar.xz
Files:
 c88fddfbcb34b0b6522d29ba3cc7940b 1321158 coq-corn_8.20.0.orig.tar.gz
 0dde1a981cc1c2fed24f740b23082928 4296 coq-corn_8.20.0-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmewsKgZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUVg9D/4meok5kI1JDKoxcWoGxTr9
MsgXVj8atv0sk8x1M1shhL3jw+dovxzMaNFCAQMnzbvXGIXF9Q/+H9GOAq+XVRG1
+SiWamAiWEQz7C19cy9KxP/i+ID9gXyrTbu3kUOv48ToSHBBQBvzO+Yfr2DEiAdu
34+sJ+3dqPc5XnCf+qUJXUIQu6d01S4BijvDUcbb2epCt7qlgVshsv8NLNGGaG/S
HSJTZIdtSUl3TlDX0xXMr5J6IfnwcSjRRYpP2YKFw2kq8FvSHW9lbgrsPhZzEY+7
IRClqy2hxWqV7GnLEyEdFyRZ/LbngORzYh2pb8acVNGVWiu6TPI2JxgYFzY8HYC1
HtYtJJXPcgBU22WLDCjwVkrEx5GwGA++yEjcSGnPcZrH6SirtqWT5OvEPGIntdsC
wtBcCAKLqBFY4CEsKja5Jl7fYWfS8asFCgdadopNTAdlarPlLAG2AUvdeLaZSSZ5
CtntGPNpuO4r51yAFPVZBfKgvdQPrjpJVam/wQ33Q3aReUaZw8cuDuRQfcohueOn
sHiMdVBPkLrAlHHUT6cYqSMTPgNBB46FkFKlv1gFY0pYTMLY7C2dui+XLoXyGRoz
iAhdhoLmTIR278NM1dUwXpH2QXsfmBVS1u+b4l3MnDR6H099PbqoBsFWD3seuLfc
jWSAsyJa5rYWWYIBQ78d2w==
=Mle9
-----END PGP SIGNATURE-----