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

Format: 3.0 (quilt)
Source: coq-corn
Binary: libcoq-corn
Architecture: any
Version: 8.18.0-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.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
 cf63685575fe14533dd4410b1fce9501abf7e4c6 4112 coq-corn_8.18.0-1.debian.tar.xz
Checksums-Sha256:
 ec56d286a730d7102c428501014f3af6158e3c30440870f1a6f15918cb7c4ee7 1320047 coq-corn_8.18.0.orig.tar.gz
 167213c0827e87bdaffa3ca09d69b6d95244a8a8b24657c1e2c06b9213d2eb96 4112 coq-corn_8.18.0-1.debian.tar.xz
Files:
 f41418c9405fa9c3937c7f7611eb2206 1320047 coq-corn_8.18.0.orig.tar.gz
 ba348ad6828f4d10d9eb290bef55dbf6 4112 coq-corn_8.18.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEZ0YSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRBu0P/1IKJxol3j9G+mSyk6vCAV2s4coWozV6
lvf+rtKQBWcVTIWhbexSTpzil3/NtuP1D617mec64+i7RwnMiqzeP73xSs7DdPJA
tx/9zucNivMHdK+GKlb8kKFyljATaZ3B/Az2GLQ84l/9Fb0MAfMhr4MnAfmL4zsn
siKmaY4VbU3emAI+xN5ZeOXcxmPKZB5J34r6fXI5uJs/AbfXjed2v6YeU96R9WBj
QVyv4+IW7yMbvUbAghnKV2B7Am9UNAwVr6SiZ5uo6LtDMUfeZ2t/J9Md7T0HY4Qj
wdQxktvwA7d9Gd8gHbLvVnZ1gPedIE7DG8rLg7ETjjepuQYGddD8kyLf1q0DuypG
92gMb3EXTQp87mph/3aqit/0l/ViHzYhlfiyAVDX83f10A4t9Su40GutzSZ/DXJt
oMHJa9gihmxaZ2I78o4H/evffdVXF7ma/7zh7LyifcGFPan5h+ArH9SBIdKXQFYw
WA8Oj9niR+MhDnSBdp1K+zugXziEN/1N+6ROuifVz1J909yUrldtN6PnIvpt7Yq7
4fGFBhmtmxzTZIZBbNE9yGn1bGOq6Ru7bkx97qKw8govBCv+YwuZG2Ii/1223NUm
ubz+lCjzr9bxLjyjosSDBehf4xT9wtqyhRFBTcjkjUE3Xto6Mlf4Lz3vPTqe7NcP
slnI3kKOud2E
=L3FQ
-----END PGP SIGNATURE-----