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

Format: 3.0 (quilt)
Source: coq-corn
Binary: libcoq-corn
Architecture: any
Version: 8.16.0-3
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:
 b40faf9c7202d6e0855ae423e07ce46ef5be7e1c 1319677 coq-corn_8.16.0.orig.tar.gz
 86fb451ba4233d74b7715e86c576415a5c6e01d3 3884 coq-corn_8.16.0-3.debian.tar.xz
Checksums-Sha256:
 80c20cea5b66679115f75c521d57f2481e7011c919547fdbcbcf6402d0bec995 1319677 coq-corn_8.16.0.orig.tar.gz
 94de36fa94e84720d5438d673bb8df5acb6e2d6346ad2846323a14e5a4522f46 3884 coq-corn_8.16.0-3.debian.tar.xz
Files:
 01611ef0545afd98db04fc7c65cb75c3 1319677 coq-corn_8.16.0.orig.tar.gz
 faff89d6eaccbc202e7960bb6ee95263 3884 coq-corn_8.16.0-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSIzjESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRv6kP/1BistSLK0eTR230y9HIwMZZNbstNNpM
9kz1p/zWKBOhCMKmObuGdNWuLrRy1DGNTSSvTlZ1IxQRHylo46+Llbn6w3Onarmr
ARLCuLnJFlWsZMeELU70oDgJjVPUcAtP1PJOivcpscVwmKurC0WoPp3/q9KpGgj3
83inGa3yQg9T8SOmjeOFHl7dRi2iouFRs9IB6aeshLphXTdxXqSEmGYryTH39z7A
k/HcHb8rWuDwwYrw9TAKO3E59IoapKTRB1IEshSvXnv1k5GABsx0iKZ4pF9EwuVH
ZlNDktqP+BUcwIJu2CIJhT9JI9mB5yFyMwkIstv2+qPbs9pFNEGapSIOL0g2EZ+4
I4ePJVH1JM7l27GEowB7lEczmhFaj1tvxkYQidgHbtJtNwqpQaOTvOC4aFiUXlCw
dUiZZiB4etONZi5NQ/rimd52RI5BggQIvzZBxwsWKP1wqDZjZrIu8TvZ8X6mfFBN
V/fNCDZ/CJonRPoRbHvzy+hq/pCBmyEEY+szF+YOYrwRySKFNpmagD0PjBVNR3Mb
oJ6nPdMdZMA1wGQrNKLwgBfVqN74QqZIji6X7sJUkWdRnYOvLXwzCFrvNXL5tvvh
i3lSmHNfVf7IrJmSsCcosCgxNPGYY88QB5maI2D9HHl/n/MmwrClh5p1NhmkGtVk
hNHukCFG2CVu
=xRh2
-----END PGP SIGNATURE-----