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

Format: 3.0 (quilt)
Source: coq-corn
Binary: libcoq-corn
Architecture: any
Version: 8.13.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.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:
 5bdf437590ef5e9fb2ffab8ffdf12f0a1bda8ee3 1318281 coq-corn_8.13.0.orig.tar.gz
 72d8e51649ef341909b0dc3c6f38ac515fba98f7 3776 coq-corn_8.13.0-1.debian.tar.xz
Checksums-Sha256:
 9550510d8b105d54c43003f45662c7f24fa02906fa96a2df46a324a9ea5e710a 1318281 coq-corn_8.13.0.orig.tar.gz
 41b25c9404c9f90dba75bcbdcbcef2cd6ee4499aa58ea2339c4d3f098aa5f554 3776 coq-corn_8.13.0-1.debian.tar.xz
Files:
 f1ccab4e4c264818e5f6b790967e4efc 1318281 coq-corn_8.13.0.orig.tar.gz
 b6c7dcfd96eaedf07ee7d156ac889937 3776 coq-corn_8.13.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLRQZESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRpfgP/3GjIQjy9kRq1zpMs0X/UkEPBolpBBgA
f8t8VTWx6DMb/f4GUbnq5nvH1VK2pkmc+0d0E8cdGo1ENCgfMY4bfcxCTawDgIrz
JxZN3cS1RvmS1UIpe8Q6jUb7u65No1XTc7KxtbRRM04k4C+AngS4I/00NKZKbmC2
XPLfzyNzi75k3qSrYrjOU08OkusS1rv5dJfDGQ7ElgKlPxI3cmyFnsZ4rgfigPEK
sOELa6/EH6Do2Z608eVAncTh5IPaSVF8ZkAHrNJHbH58yi3g8yDXo4DD14c01vFS
Q96/NyPJ2KogINB55WlvIyFGI80HXbPDQ7yp6U/+ELwgV62qMda5BcsS2jFlwUHL
qJxuWr30XLflmVill2eV3IGFDKC2MZYe53Ej0bzNQXMvF5gZWDH9k3BIQEfL+xak
pMFY+GuXPJwtNe9XIUIzHCA+MzR/wH+z1qKqw0BHv23CrQHVZ7AJN6oR45Q7ymDX
Vp1E8FiclfWx+J87X1pRIRJq+ITtxgE3LeDMQFUUrrd63OTya6poJrMeWpU6wO2Z
M9aSinZC9kK2qZDRuz9v0aw+/n+H7DA/+mq01xC+v89QN8R8q4YHQXjPyf+QjmyJ
LI3zVXR2VusCExtDSZQYDB95HSGEREXv7b3lE9Td6aI7QIQeQlZpC66BeAG8Te/H
Ax4MLAvy/Tij
=eAbL
-----END PGP SIGNATURE-----