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

Format: 3.0 (quilt)
Source: coq-corn
Binary: libcoq-corn
Architecture: any
Version: 8.19.0+ds1-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:
 372a19facf0f02611f0f553764ed124c3e811ab3 1321010 coq-corn_8.19.0+ds1.orig.tar.gz
 b4cb1b926d658ca1c10b5877ab5693e465166b66 4240 coq-corn_8.19.0+ds1-1.debian.tar.xz
Checksums-Sha256:
 93278dd07b52966741beee3e7a98d8b8ef808bf619e6427f93f66b5bd59f0cac 1321010 coq-corn_8.19.0+ds1.orig.tar.gz
 fa09743467cc02e7887880ea801a075afb425f025368bb33e5f0445d0c7d35f4 4240 coq-corn_8.19.0+ds1-1.debian.tar.xz
Files:
 1d4581910322a18aa965740c300ac1cd 1321010 coq-corn_8.19.0+ds1.orig.tar.gz
 eb6e093eda37440cfb10ee39063d5c5a 4240 coq-corn_8.19.0+ds1-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmY/kroSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRidAQAJ4QUHu6NUvw5ClapnPip7N6PlNMtY2e
C6ftNe95+52NhSiXdpXHgFiwhVaFPo4NraCzOGgqePXbELCtONHPUAV6ZHeT5NEd
HJwYsu7Ak5TkOqccMqIbXzbEE6rxb0Ob71MKvuPJOMXrOx8a7RwAQPhIT37QYQkH
s3uE8a9mz7dxg1pdeL4JIgI7uPXkEIwKJW71CmF388DhupcccKXK+RZFjgS4MDeX
2brMC98i+TG8pc0+rO8j6hduh8Kr+wr23rXHjAawooN6JZuKNiJeMrsRhL27RzyC
cdX1l5mGoMeeopJXpSZNQxlTaT/6qeP4w9TAeqOXVWZaNbzcvTl82PbETPeUCbrR
xNuSJxHCuSu5sGvNeesgkONfDRc2j8aTu8j8283V08ddQ+w2JVO4/DjIghgSEhsI
2iEfHpZvKiG50ITCTlUoA9jxxyAINyns4zumeykWK2++1hZvp8HfPDQ2QQmp4Ywm
QH2pDaISOh1IH7z9C4B18X1rFYNM879yqpYUKnDs2Oj/8zBlXqqVE3VuR08AFSI8
Ciu53Pa/z6nUnxq7ufbXkPK+yzCiikNOcs3cQivGRGjvOr5ibGGjFtJocKxn7CDP
TtgXdZyELFmqKT4hEhYlXJlBkgeeGC0BEFA5lXXb9xBwJ8ISjSpcHYB9YoTuC9yu
bSh2LvIlV0QH
=BZGd
-----END PGP SIGNATURE-----