-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-corn
Binary: libcoq-corn
Architecture: any
Version: 8.19.0+ds1-1build1
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
 09f1db35f3611bf112b02113f2e4797404dc36c9 4304 coq-corn_8.19.0+ds1-1build1.debian.tar.xz
Checksums-Sha256:
 93278dd07b52966741beee3e7a98d8b8ef808bf619e6427f93f66b5bd59f0cac 1321010 coq-corn_8.19.0+ds1.orig.tar.gz
 2f6e67395813b5ea217a6468f6967c03222b4167f488948bfe2d63a9be845322 4304 coq-corn_8.19.0+ds1-1build1.debian.tar.xz
Files:
 1d4581910322a18aa965740c300ac1cd 1321010 coq-corn_8.19.0+ds1.orig.tar.gz
 49b3af49e828d4265ee8713568f35755 4304 coq-corn_8.19.0+ds1-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZtp6QACgkQ808JdE6f
Xdlv5Q//ToUL4li6ORdyGGkpiZ9Rwxsb1mNR0TjnsGmUyVg5ZQPvWYUh/JwqFxD5
3zcNHyXSqhppC2doz5PfYV/0RFunYykMW/Mtm+uoF+x7kCjK/mrcoTxcMFo80USn
Jqf2jbawP3BEaCTEAPcV4Nu0C4cskNJYewxWHKb3PX8UMz2sJfxGbg6gUVYLNwke
P7qcRr3xdQYFfz8KmLGf8JovWMQgt41qhDao9FB/Sd9MMWZK07nhYtbtv6SA9he8
/xnEELbaY8NN058I4ghy21Vtv/LQIg6MlyaHWNZLmGP2YkhN2+Yez4/CDgdiIRTV
+BOlpItRRZ3FZlpe6ZyeNsPbr0LbEXCC93m5+6Qqlf+tgZvWn6IOHsSI83mbiado
YeDlaNb9C9Eo/1yEwn9OhDEawwPZZckO07lqtfezOqHoKgSIB2ozKiYg2sJ2PeS9
kVsTZK7LH9FewvUrKE5wHtcmSZVl+J/1OHe3Jzumi3ZpbbNZuoFBvC7SCidLBAAp
syoOCBSpek0sZftqdX2QARsGga59QuhOKOXUp1M20hcngEz0kYtzn6oScWH3+pPS
yWYiywxpRXXss098EIrIZ1st/uN/2q/8MHIIzusZiO5a9J81ffV3kNdS+FnjZ6zi
27PVBX21W6vMtxIwSc7NqX+Ym/y7BYx4wd5SsoRiIKA4HDmDuK0=
=Z/E3
-----END PGP SIGNATURE-----