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

Format: 3.0 (quilt)
Source: coq-corn
Binary: libcoq-corn
Architecture: any
Version: 8.19.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-math-classes, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-corn deb ocaml optional arch=any
Checksums-Sha1:
 39aa2872cb93ed126c608c5fee30657a7f2d9e8f 169013 coq-corn_8.19.0.orig.tar.gz
 bbb1953a35fa3b9db2d9e3f52500883afc7569a9 4140 coq-corn_8.19.0-1.debian.tar.xz
Checksums-Sha256:
 082bcf1cec976e02123fb175538229cb0531fa542d67c7b879520bb431034492 169013 coq-corn_8.19.0.orig.tar.gz
 57c5a401a7e07f753fe78852adf1e001cb4597c8c2b78ec7b1e9442df6e7e5d2 4140 coq-corn_8.19.0-1.debian.tar.xz
Files:
 1e4bc4d838d4327be31236da7de0b600 169013 coq-corn_8.19.0.orig.tar.gz
 835980b5b14d8d65d9ffa50aa0355948 4140 coq-corn_8.19.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYro4YSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRpbsP/1THaX2f79JJW7n1rgO7lr1+a0JxmeZy
M0ikV5jyfzQjH9pHtspU9Hs/8YwMePt2bYofjphEf1LR63IBjJuxFt8/+3TRCQmT
EAkuJfpJo5PPwGU02uVx7zYGKvFkW+19CCf9DwBUjLsK5Xv1SWxtB/njfuYcgfPR
pzhwuohJmEPgJEhCIqAzBh2CYFuA+HZAn3pE4CsZcvpwIhDGQ0rn+c6NwK3HMKlE
LcZTd4osJzCxOzpldj3NlBRWfW8ykbAlgGSo7FWOua8DRZQouBsG4WA4K251eYPm
4/FEp729Oo5sPsSFrT6A4fm/lofniedwTRKQoUQnYL0sl57GGlUclFHHV1YEnXII
/2EfOtA/l+aOJGurc3zcKyJQXJITL9KUc6NYKbVFzm16eFiX9RUi+FzwIfd51k7V
FvBCeD/HQb+8MGU4Rlp8uRRRGPdF/iekP/AdDqx1t+l0lCPUXbo2NSvfqS/k01TF
uSpX5x2GVRRqBZ5DKpidTmf/o1d2npZau/XY3ws1Zx7Kecfdzgaev+YG1IT2/xYn
WcGc4QhxO+SswB1bG9/ouJh6ww5ZJrYpCfkb63Gg5KSgsHtp8DebnLeqRJrOc5Cb
UT1qjujCCnlZ+TrqiSQPCQ4YKdiJfl6kcEFdUBjTyVqaRgZuoZ4MNhD0/2WhZCTY
PR90mTESVuye
=7pI6
-----END PGP SIGNATURE-----