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

Format: 3.0 (quilt)
Source: coq-corn
Binary: libcoq-corn
Architecture: any
Version: 8.19.0+ds1-2build2
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
 99ef1902137509f9b02b2b53fac3728bf6102cea 4392 coq-corn_8.19.0+ds1-2build2.debian.tar.xz
Checksums-Sha256:
 93278dd07b52966741beee3e7a98d8b8ef808bf619e6427f93f66b5bd59f0cac 1321010 coq-corn_8.19.0+ds1.orig.tar.gz
 6ae0cd97b2204810c6c3de6cdf06273c0d578ac175d83fa9a964f4d12d0825f4 4392 coq-corn_8.19.0+ds1-2build2.debian.tar.xz
Files:
 1d4581910322a18aa965740c300ac1cd 1321010 coq-corn_8.19.0+ds1.orig.tar.gz
 f6ee2277e9f9a4031c1742db7c2ce3d9 4392 coq-corn_8.19.0+ds1-2build2.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmefX6IACgkQ5mx3Wuv+
bH0xZw/+JtNmzvXVWkoHS052LhUtZD0OXR/EefGTtGY1Igz0XA1lGFVtn4LTiJoq
OU7AtSnB55WE24qFTaCF/8Qfrg4xK7JBi+OjM8ftoiaY/4FpKURKCINAzfXUY2et
yKEcZhoc9F0plq0PRtOoFINAhxBtAiN2fPCu2dIP6JmQ5nJsQn51VCimAm7P3pe6
pi75yu5XJaLY1BhtiWRdT8fczgTcUANZQfwjXc+oTHD9SVWsSIbqOLyV8jQP8ZDo
PCA3GmU2g2DHKsvujgiX65jQacHqOKzeiyKw11hjRWY33Ltc75bYYBdx9M4FPmkm
qmzbhvzcCnCSgjqUTSplmo6ZkLmPDhyYmTd7E4hLwwKKEL3S39mnqhKxKWcJBRGW
ucBvadJCx/Qqfv4g7vEMG2jt0ZvzNThxInb77e9mm8EIa/PDz8mvlYestMMD+238
6ayiDE5SmXm4D9+ztoRUpnYQ3zwZJtMYwlmtKYZa3+eTEUdlDd7tSKpPLr01bokc
LbbTAP9sqwniMDXt1LbL61WetzK3zs3u+aY1mcVACMAOyoJkbDn4hfddK54MbL6m
6h1B86FW95wCwXxGo3khb1R8rhsfhuWNWqMSsrBSuxRVv6UTx2yexiACDCAauzOU
0pDPd8s+qhEOGDzOVCdHREGNgY1/t0CFVdl277DolcRe8aN5XVw=
=wCM3
-----END PGP SIGNATURE-----