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

Format: 3.0 (quilt)
Source: coq-corn
Binary: libcoq-corn
Architecture: any
Version: 8.16.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.1
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-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-corn deb ocaml optional arch=any
Checksums-Sha1:
 b40faf9c7202d6e0855ae423e07ce46ef5be7e1c 1319677 coq-corn_8.16.0.orig.tar.gz
 d77aabdefda6687ab254fec5b1901e7144610d2e 3800 coq-corn_8.16.0-1.debian.tar.xz
Checksums-Sha256:
 80c20cea5b66679115f75c521d57f2481e7011c919547fdbcbcf6402d0bec995 1319677 coq-corn_8.16.0.orig.tar.gz
 abe13470deae1738adf2d0be7e1b401ebdb464ac00a6a152a58f743066782917 3800 coq-corn_8.16.0-1.debian.tar.xz
Files:
 01611ef0545afd98db04fc7c65cb75c3 1319677 coq-corn_8.16.0.orig.tar.gz
 bee4e00e32d632bf9a89a966cdfd155e 3800 coq-corn_8.16.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWYgwSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR9JoP/iIKHasmmJi9wXMWi9S4hviT4fF3mQrb
PuDm4C8ah46LQ7HpLy5SLLj3NDx0wrqr9OLSaOgoh4u8sf7lTmZiTSKoWX8Ew0tF
G3n96un2Sa76BL1YH3gZfjjeEC2kSEEsMd7OXhBvTEOtzXv0XbZfo53rnLK6AGnB
4GxRxhYGX1wP2AWldp6c7Ei9PmiQqCZKyiamcZiXR1WxjoPym1BNYa0J5ErBqhNU
RYPFALlSzXMy+CtSv10ZeMcwIZ3l2iE/DcvyWya9QBywMAjQdpN9rUHyOkgJPE/T
64aJl1imL+LPtOsPW7R0FJlr9l4wqMyOml3OJ3yAGsDTHscL7B7H0++7N4ng+KRi
wEsBabRyHnJlZM7qNulJj1KdrO4bhOPaGFC+ROXcLku2kbTKZ3Lv9M9OoliWLLXg
u0qXUmgKn0pznKmDXUiRL4NP6Vmfgii6tz1gRF2RHFC+M5H8A14zs5ubhKJm4Ubj
02vjzBomTxYTAUw8dQ+wF8BBx+j0AFzL7FYcXo7naZHlL3wc9/mYPteTJC2O8r/g
ZEoUckoFF6enQKN3DfmhICUqwwh6OL313YLSVmpbOaKdqPkU/z+wbHmmP/qH5g+z
5b+a6LE5B9BipZRdO+wjIvGlyGBQWhibKWUaWoaJxk/TF195Ai/Sx9W8jQ9eoVgU
bMEeZSdH6UwK
=ZP2D
-----END PGP SIGNATURE-----