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

Format: 3.0 (quilt)
Source: coq-corn
Binary: libcoq-corn
Architecture: any
Version: 8.19.0+ds1-2build1
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
 3352bcfc376c1add6b20b610adf971bec99edb50 4332 coq-corn_8.19.0+ds1-2build1.debian.tar.xz
Checksums-Sha256:
 93278dd07b52966741beee3e7a98d8b8ef808bf619e6427f93f66b5bd59f0cac 1321010 coq-corn_8.19.0+ds1.orig.tar.gz
 851b27e7c3a48e6523646d029d7460c9f8e8d09aff823ed7b320277e81b21e5f 4332 coq-corn_8.19.0+ds1-2build1.debian.tar.xz
Files:
 1d4581910322a18aa965740c300ac1cd 1321010 coq-corn_8.19.0+ds1.orig.tar.gz
 a7d6a165591851a07991a902617a3df8 4332 coq-corn_8.19.0+ds1-2build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmc/BXYACgkQLIPbyOm9
DjcTWw//XxunWqVs7kqj9tubLyAuOeUBwI02vnwXJLdZrb9LOQtWQKpC2P0cOKr9
UQJJbKfxF/+vfchIysYaABqQPi7kt+am11OdnvgtKSZ/iYS6sEW3Evhouad4Uo9z
MeFBEqo2BPajX7Om8OZ2Qpk/FdLocv4ASzXlwKfXgNLxKMrNFNhwHExubd6bLWFG
zlU2GUvPCLWhRgLVUfe9N4u/Ljp4jC4ige1wxh9yWy92w5OQo+Y0Abg0n8Ke1ZU/
wNwFxrQU86LxDl9PiNogmm1ysdjfVcFEIFGLLo/PBdY2pz7t/MGzQMFawJLySDws
8bZ6Q3rB4+8n9DN7mF7ac5mn+ObfxkO7JRP7/SBOGhrHKZsdlzIkuW6UN7aXZYwY
9yU1MMllZadu2jjm5aK6gJt+alfsTOAdJEZKPRzB9mEUyprThAAq1nGk9BsjVJkI
ADe6NOzMdcDGGsFvSDYoaiRY/UWE36oPTLl7SwWYlz20Re7XsVd/D6x47tMm4HPv
BGDQyeCCVleGGNG7F5g4tytu2ljDuNWl7wkw6JCHhbRo0hgLK/PO2EcIfZ4BCnKb
IUsJKCJ0MhGxFlbX8wyZeFv/uPZ9th6JFbK+4FCk5p2j5eVBRKGc4MLRJPxe+XDR
vNX5YhiuiiIBxuaj0hKrJBLYCfF3s20EE8dllZMkuidKBvclRBM=
=hpCt
-----END PGP SIGNATURE-----