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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.8.0-3ubuntu1
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
 a5cf79f74dd54d29851f6ea01aee0133d2a82804 2440 coq-simple-io_1.8.0-3ubuntu1.debian.tar.xz
Checksums-Sha256:
 f5eca4f0d5f66f51ba36290cb6498c6244a9f4c757d07df4f24ea00bbbbe1e33 32939 coq-simple-io_1.8.0.orig.tar.gz
 50fd3da109009e1e0108aa0fae719da81b3750cf73af2f312bc8aa280c63eb3b 2440 coq-simple-io_1.8.0-3ubuntu1.debian.tar.xz
Files:
 73ba8ebe3e844ed62c465405b2d946f6 32939 coq-simple-io_1.8.0.orig.tar.gz
 49243733f960dc4b76af372369f475be 2440 coq-simple-io_1.8.0-3ubuntu1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmSIeX4ACgkQ808JdE6f
Xdk2VQ/9FGhy61Y2fsBXBFTomhJgwv+LosyLaYHp1rVQwL+C/tiigLZMbjLSIkiw
dS2jzhpd/w4xHOTpexYEWrndNt+DlE84oPKo97+2LhS7gF0hY3Vf2o6x/4XN+cuj
L0T+IhkKpAzw5Vsz6htQRDetFOokWWx2YSuowrasR8iGwwZzygkXYtaK0P+r3Kpv
aDcYQ7EqF/uOqu4WNuLCKOAWX0Zt811qLT7dDm90yfsEmXUomcQFmCvfVEgHDL3A
FVDyDcQlOIVg1HR8Tyrg0U4hrGlqzWOQ8KmbSneK5Bj9Ge9tqHIDTmQgvVU6Wpby
PNwiKV5xXvkgXvwYQa32jmioZNubJ3DU5oASX0cgfdQwPV+k7zrsVhaa8uIyLsqr
yAg64PXdBpNJUBUjt9VSFs8NHXWSCuksEiPpg5NbqFMJ1EeUq6OITCIUAYHsBflv
J81Xlxakv6BwdSTREBS6vquB9yLRrvlvU33fLhJnv8vU//PqUAa3U9vncZRAn/3r
40lH6FQxG+SZ1tXLlscDY7hkIb82X7XalRdlHKqN4Qfsgk1XOm4Sgfa03HEpnUvu
1RohRvqnBg09k6ISf6+y84gxqYcaU7HDhEOU3IdoH6hbuyl8IcynB+tl1+sjngld
tLwXma5twuWKcoDTt19sa4UeZwNhAt+MM7Zt98CmEYLWNit7L6s=
=Xqxs
-----END PGP SIGNATURE-----