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

Format: 3.0 (quilt)
Source: coq-corn
Binary: libcoq-corn
Architecture: any
Version: 8.18.0-1build3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/corn
Standards-Version: 4.6.2
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:
 368f7ae9a261cc96d90fe998cb0cddd90a70c503 1320047 coq-corn_8.18.0.orig.tar.gz
 04c2085bdd1ab1f1fca144c5daccffd55e8e7b22 4320 coq-corn_8.18.0-1build3.debian.tar.xz
Checksums-Sha256:
 ec56d286a730d7102c428501014f3af6158e3c30440870f1a6f15918cb7c4ee7 1320047 coq-corn_8.18.0.orig.tar.gz
 f6094a0ceaf377073a4cf5d646c63c3273e63ac3924ad303d740d5b5cc501be2 4320 coq-corn_8.18.0-1build3.debian.tar.xz
Files:
 f41418c9405fa9c3937c7f7611eb2206 1320047 coq-corn_8.18.0.orig.tar.gz
 8800827e9190dda0970bc8def1b4100a 4320 coq-corn_8.18.0-1build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYTmmwACgkQ808JdE6f
Xdle5RAAo6wZsj2vmG+xVXyMtJVgeGD+Rg62xvfOyC3r6KvUZIpjTsxupzHQSpRs
TJrE6JnkUsq2/Syci3mBrF1SP3/BPEypTJZCCYGHg65VpWK2BS5sxkBjKnfupgWP
4gQ44ovSQRn9TSnRMHNOvGINuXaEx314OJs5Ekn9DpSBX3YnQ2iRTmbdYbGaG9Nl
Apng457FQYaVPsO44Zhly7cszgjjVZHtYTVIWq1QqFhuq1gk4ucWjZvaVsb4r+sv
HMsgJA6ArMqmQ66MaupUGIu2tX7szwV0oaRGES8iQoTSxTJCSS+BfvBJOWrcL822
4rx2IlSOZ/UkHO0t5NLFoDYmSlkqGo1l+3Li9BF7eGX1E7SEAAdGUBooBpURN9rd
B1Kxacx4Qb9jsgM+GLABdKB5Jb2B9V0Fi++2kZlrXL+NVJyL4Es9R8hu2oRbhcNh
ofcGLDGjPTvibB46H5It4rcCfY1JvfsaH7jCxXNbk7vPcolfZYU+xqeKKot3UKSD
xgPqxBbQXiJO8zGZKnNczMTaODG99Rbamo3lIH8uFiedOFsX8XUiPBJeAcg1zd9v
MNVb5jVdihuhVRNgFoAi4hOIMoc4KIWAQX4/Liqrd5vKZhhzcadPzBopIDq716kC
E8OnhXaZNp5dXuwihcCFCIvpJHrmY9WgekbqhRxIhzXD+KhQ+qc=
=N1UV
-----END PGP SIGNATURE-----