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

Format: 3.0 (quilt)
Source: coq-corn
Binary: libcoq-corn
Architecture: any
Version: 9.0.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.2
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:
 b93d9213aecc6b236531fd58fdd6c05c83145ede 1321476 coq-corn_9.0.0.orig.tar.gz
 ba4f146352efe29c4a686483e917980510220371 4408 coq-corn_9.0.0-1.debian.tar.xz
Checksums-Sha256:
 e47efaf23292cd7b8a20a22a6944249d292ae715fd3c347eaf8453f796a90d4b 1321476 coq-corn_9.0.0.orig.tar.gz
 9f46d95ed122160506aaaccabfd363470a30af5043c7f554a9f419399a26e918 4408 coq-corn_9.0.0-1.debian.tar.xz
Files:
 43565ecc27132000225aac8de08c1694 1321476 coq-corn_9.0.0.orig.tar.gz
 ad6f8c4da553cbe190be5d11eb6f6ff5 4408 coq-corn_9.0.0-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkB4LEZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUTAvD/0XbYwokO/8gOWErXnKY6Cv
RWWJOH2FUPyWV9p0OnImwb70Wvi/xo/oi5w9/g29ysKHNvkHjV/iO1g3vxZLpg1I
mNnjY5CUcuwfxsqqij9lETQ4XCyMdOlYgB+yyNqlFov1ADav+fJ2qw2gvIhA7FP/
QjcRdhArq08MgkYxSLsd/2/Cwf7RegCooSbSXfcgvOBFuUtv5B4Tk/+Z2QBsGriK
VkK2eq2GGSDcFqUgcV4f1CBEQa4kI6WhgJHsT4BKGIcbHVLtwZlDdhvLjgPpJIJz
dxAuRAxRbmsxi6ZbDDNwUGyNgGb8MaOTAtzbpBEIVMGKq3cKODSLevCBu6dlVyjN
6eHETwTzP5d1FQBs7JRvTpSpRiIngw2VnKULzyjbCw898hUnAGwFOrFu4dhMe6W9
VsjWTx7ussNi2r/F1+g7llN8nGrPx+I68vurOG9aDmAX9XhIDXZ5/4KNvxiVscSA
CNFgYlQMyzlttkyELJmlshl2rzesgMxBwNs6fQtOPNjcUd7FJR5O8MwHByoLnZJV
xpU5fdFssOmlu/nrKB79fs+6OJLX6HEdNAPmy4qBbAlsGco2a0dD386jRwed4Uhq
j2A6wxEwSJhpRFtylLyWZDcvMDFguAlk/ifzLRNRP4vpH5wVYghXuvxQk28tPvpv
ac+FmlA/AIIn6Aq/cE6I2A==
=Ga++
-----END PGP SIGNATURE-----