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

Format: 3.0 (quilt)
Source: coq-corn
Binary: libcoq-corn
Architecture: any
Version: 8.20.0-1build12
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
 7c34482f5a1607331224b3625ef76fa5c627b7a6 4616 coq-corn_8.20.0-1build12.debian.tar.xz
Checksums-Sha256:
 081042aa230a734f8ba292a91163110ad737126d6413f1f37cc2416b9acfb305 1321158 coq-corn_8.20.0.orig.tar.gz
 9c371ba380499355c2b82d21a2f859b0b10f7299e78e66882cf2ae221a60d84c 4616 coq-corn_8.20.0-1build12.debian.tar.xz
Files:
 c88fddfbcb34b0b6522d29ba3cc7940b 1321158 coq-corn_8.20.0.orig.tar.gz
 78851c45f2d18cb47fc6579699633c14 4616 coq-corn_8.20.0-1build12.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmpNqoACgkQWWH9vpxh
mAncyA//apLALctII0D1x5zcj3AiNAH2Tajj1wLRvSQhTLxSiVnoCjfBA9BBT7eF
mBCyoCxhZNA2IZy4FbFSm0tD2uxJrN/Fq3xZiYU0WHa6V+P5VUtXnSwj8uzDSRFL
DBYSGvokQFlx0MFLBvpFBvZkN9o9SPRg3iD4/1s44wzzAeO5z78jrsEH9r6NTIgL
unM+ftpAvxzdC/CrSXtf3pGiEV2IjdDPJi6WeI1fupREyMQVailZz5KW6z67twTS
CiWzz8xqtGiVRfqkrfL1orItdZf+4WoA0Ttbb2FFveL0mrUxuXqibTbiVvUjXspO
iDbKepTdZ8MleZXyfGsqMQhtOkicNfyQwqezLn5liDruXeSu45eMrk/H92KSRRL1
FkcCzu1/cKoQGkTzoq6F2HaHyeVr1hSC7MLL3Y9IjEraWWQADZa5FJ/H/wBFm2uX
ZaHdR3n/sasZevB7WWKDZt4cze2klk+kt2+DDvYUvVEQal2JCLF66O2Z4afvAAPH
gL2H4W8O6lMavw2VtsumwqoKmrrgwFTTUFaZ40DTOrDzlTBXC2ODlmEsaP+YeQVn
V52SpDgRyniXQxthtV38DjeZBF7s/E5s7hC4oLq1Pfg+nFiTFaooZHUjD34haADu
rfkvlOuxFzi9JAy8YRKjM6UDNfPT+aB86ukSvfsGHHedctX4EZk=
=a2fu
-----END PGP SIGNATURE-----