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

Format: 3.0 (quilt)
Source: coq-corn
Binary: libcoq-corn
Architecture: any
Version: 8.19.0+ds1-1build2
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
 d9a42216b475eabfa1b23feaaecd7dfe7e23d6f7 4356 coq-corn_8.19.0+ds1-1build2.debian.tar.xz
Checksums-Sha256:
 93278dd07b52966741beee3e7a98d8b8ef808bf619e6427f93f66b5bd59f0cac 1321010 coq-corn_8.19.0+ds1.orig.tar.gz
 980d41faa65a5a9dbb34ea7114ce871e9dcd1a6d0f9ffc9bf3fceb12185545cd 4356 coq-corn_8.19.0+ds1-1build2.debian.tar.xz
Files:
 1d4581910322a18aa965740c300ac1cd 1321010 coq-corn_8.19.0+ds1.orig.tar.gz
 4061408ce282bcdfbab1aa52909624ee 4356 coq-corn_8.19.0+ds1-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmaBPd4ACgkQ5mx3Wuv+
bH1WmxAA3K7eHf9OTTMGUXiZs0jSYLnqveE315tnBvKyrPk6OG8Mq8wv9Q0gYBlw
uXCLsRwiejODEfxcLKqULSb8YJ6BnAvszPTU01c7oAiMwvvSCEL84uMimn4LYFVH
fnVmyaLaeHuwg3107i5B99+GFoti4p7Dq330Z3F6INb0zuqadiVnMl5Y29Olfghv
9fwyiWAU/1jIoDgqR2G7WGKErAm/KmPcjd4BMVGBJIFA43yYJVelGaFa22lxwc4B
bzsR3YNJV9H1wStu5md+Tb+caO44M7ofQ3toZLhrHJ3tOQFoEzAI2vI1mlbEJ+1B
PFU0KLmOmTnFun+8Gr4lCoqYRWoAJ9QdC8fwxlMcitt2DHf3lZj3y4anou8UztZ3
Oyfp36pfByti/LDTz1fDengyrXJxXE5keaJdfKrOpMmg2+ySeN+4HkwHoEqXl2oy
50P6R8GSRs/cmhcDdWXtBWFgSubF02wctCO04AQfLbEnR0hWvadnLfF3NRlMNpYj
ITlKg2Ax3Iwj03mA1YhWqKV987PHfx2EjPHo49sOEPok6AX6YiM3nrFJMn0C/7kr
XzWWitmi1IuH3WhEraQQ2m+sx494gLQurApFVEJfpaWf6fqZgXpQbpVQhv0Cwp78
p2uSTezfn+/lWFSXdGaTl4FBm1tSSWElTFluih2e570JNJSWsZA=
=vah/
-----END PGP SIGNATURE-----