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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.8.0-4ubuntu1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/coq-simple-io
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-simple-io
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-simple-io.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, cppo, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-ext-lib, libcoq-core-ocaml-dev, libcoq-stdlib, ocamlbuild <!nocheck>
Package-List:
 libcoq-simple-io deb ocaml optional arch=any
Checksums-Sha1:
 027ba027790bfce733df5b6256d44b4ca6d8cabc 32939 coq-simple-io_1.8.0.orig.tar.gz
 c82bc825688d70e33125e2157fea186a6d69e72f 3144 coq-simple-io_1.8.0-4ubuntu1.debian.tar.xz
Checksums-Sha256:
 f5eca4f0d5f66f51ba36290cb6498c6244a9f4c757d07df4f24ea00bbbbe1e33 32939 coq-simple-io_1.8.0.orig.tar.gz
 f141d4eeb0703312d6f01f2280b57b754c50f05112f8376877c70c23171345d7 3144 coq-simple-io_1.8.0-4ubuntu1.debian.tar.xz
Files:
 73ba8ebe3e844ed62c465405b2d946f6 32939 coq-simple-io_1.8.0.orig.tar.gz
 3557b5a1689ae770b571761028766a64 3144 coq-simple-io_1.8.0-4ubuntu1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmWH5JEACgkQ808JdE6f
Xdno6Q/9FNL3CU5D/fOtxPsf7+KPxXO5HXCkExybM5y2BNULsZatAUVm5p/k8oPl
jIYVIwH6Ee6zWLh1zn80TQntd9K5FMUNcsKiUZ3Lr4235TOuRx1w+xXvdcYxd+0W
jmY/TprwalbjJ7MeclxG4NqY79STRRiuwYVjoWl2V+KcZQsSzyeYZeqBszkb0hq+
AUnnsHThjIvkQ3SiaHDp2Fz/KAe8r76MWT3Oi3KZqjz9F2NqbCp2kpSdvyGwpjJN
/9pjJbzb4UnCxWvcw86xBfxWI2vEWcC/hkwWCY2hYqpndPlYoHPUeMJuBMR/sEbt
LHLON6NnUDmg48ZF13Obpxdc/0yiBb8Syo+ujb+nKShg4j5hsegy9UUaJtEcZtVT
kcN17smNuWm5wzFpPgd6uA7sMz6GZj12tlDZ1VdglptUYl81c4WqVJEqjuLiSmWI
abZCQivF0jHAAGmkoaFKgvtodErmPR1I3yAycsPLIF6QnYCuyztuJn7+jUi/R4Rd
MtpZDBHHacwX8vCbcywMyyOyJtMsdeLnSSuShOjy5F/NNf+TM53QNgXYa7LplU7r
QPEDZKg49x0Ygnt7KEOrb6DFzxmDcz+DE59DU8wWwnIINZcx6IOfjvPmlh2AbbPG
b8j9sIt2p+K4VLDG8IoiIDSe3PVFKfDyJMM7hWU1Lc659xYYPxA=
=SUun
-----END PGP SIGNATURE-----