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

Format: 3.0 (quilt)
Source: coq-corn
Binary: libcoq-corn
Architecture: any
Version: 8.19.0+ds1-2build3
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-math-classes, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-corn deb ocaml optional arch=any
Checksums-Sha1:
 372a19facf0f02611f0f553764ed124c3e811ab3 1321010 coq-corn_8.19.0+ds1.orig.tar.gz
 d93c138c4194139e02fa2ee36cc24ce19c83b642 4444 coq-corn_8.19.0+ds1-2build3.debian.tar.xz
Checksums-Sha256:
 93278dd07b52966741beee3e7a98d8b8ef808bf619e6427f93f66b5bd59f0cac 1321010 coq-corn_8.19.0+ds1.orig.tar.gz
 1f1b193615e5a5c0d065e0d7599fe382d3e885aa8202cad078f3b657ba2213fd 4444 coq-corn_8.19.0+ds1-2build3.debian.tar.xz
Files:
 1d4581910322a18aa965740c300ac1cd 1321010 coq-corn_8.19.0+ds1.orig.tar.gz
 781413bcc361c09b57db881c276acfe0 4444 coq-corn_8.19.0+ds1-2build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeuhOsACgkQ808JdE6f
XdnLIw/+I1+RJiwHoBtkKktbE7rCdEm1YvZCTJckttQ8C4aw/5dSy7HVe6RaGq3e
iPXytslBaIreVzkj5TsjTtBH7rZdX3abeiF0KWwB7bCj9HfjFT5GCmpz5dztbX2d
UadpBD/iCzeiPKMcSuf8U/BqxCrG6G2Vv/v51KW9rrssb+s/TQcHWx5DkkFPLXAe
Poh09XtleM0Z8wHoQL517UaAxo2b/LPK7uXmMkNjCDsSM++Db2oJs73S2Lr2mUPy
Ni4a8fcHCp1rVYy41z0arH3zBAmPK046BVrYj/Bh9PqtL40AeaurJbZCKWn0dqQ2
zC6CYg+G65N6SKIOYI7bt9Jup24fDbGoc2BPWyryQI38yvSBTOCdPu6Gw2VZtGFh
3jM+3ENi8ITX/ifmp41vHNEuo4o29gvRGrFN+JiVzJBTg9VIFkG98fv0cmyjhXXA
W7kUExaYW2euHXbrIIJ3zrke4VaPAHhT2LoX9dUa1MSm6IF0XfL+w9xbEz9mY4gH
x6Uf7b1bOfQzzONC2gBtKdHee8oIigUdwT+xfyLuEbsORvrA8X2p8IHa4DukXBpI
uT/Gf6C2HcPQr1R/Rywd5N5sMtRc5/PPVuf8AC+BLk0XzojP6ZSIUqkf1/KyIlNZ
bnFF9nZG2vaCToyvklCjIwvzEALb0+lqmz9R6FQCIQHo6ltDfyw=
=z9gY
-----END PGP SIGNATURE-----