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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.7.0-2ubuntu1
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.1
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-ocaml-dev, libcoq-stdlib, ocamlbuild <!nocheck>
Package-List:
 libcoq-simple-io deb ocaml optional arch=any
Checksums-Sha1:
 6a8f8c0a1bfde7b1476a0da5196e3e08ac1dbd0e 26183 coq-simple-io_1.7.0.orig.tar.gz
 11204c6e64abbb90a5e46d49953b16dd06173de1 2080 coq-simple-io_1.7.0-2ubuntu1.debian.tar.xz
Checksums-Sha256:
 2460e1403c5898ccc5b5f84be10b4acdf93393cce4e49e0fc73dc57b9463e144 26183 coq-simple-io_1.7.0.orig.tar.gz
 51bb4d0493258566d73d3377f7f9d1e24c8dcce1c63106d76e764ee18b2b642b 2080 coq-simple-io_1.7.0-2ubuntu1.debian.tar.xz
Files:
 ebf304b8be97070fde8e2383eba96984 26183 coq-simple-io_1.7.0.orig.tar.gz
 a421d056ffb46c722255772399be62c1 2080 coq-simple-io_1.7.0-2ubuntu1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmL7TSQACgkQ808JdE6f
XdlmWBAAyqLlT3ir0NariMd1ETDN8kVU5O5+mTVVfI4UhxDfcisXdqgG1tP69E3R
XPL9Ly94T+tdBp3WzrClN5hy4UXPD0fykuHBrTL6lwjVWPxHndUY2ZXxF+CN0Pgq
tEWmVYuw3mQZxlCJndb6WpBw2rr7EPTS30MThZSbUm14olzWW21zvBAS1UI+bdbi
wKmy8lhLzX1/NFG5Q2HZ+l20Uek/+1vwLHBnQMfuUcHbO5qQwr/q4ttQyaOhGAaU
jmKsYFjrhhUR/Oitck8PQgTX9xgY46FMw6ITEJsumNFAJmxIg6hwS93t2RlLAk19
7hdPf2HCvckgYhSQES/SXXbuv0BJVJiybHoIZE6SdhIUTC5GOvcJYHjrXbzLOw1i
RjCjTNxKO6oMr+LL+BKOHjiRTaZCODSoNT1gmKLb70kOYMO/Ti3qaA30xdm9unsc
Fvwqr6FUVrai/mHsJtiSB2v/NA3AkYDkQ+JuQ38DLsFR3HQB7m5Acedr2DSpsJNV
9+w7JWqW0pjX3YwKci+uQ4cXIHpr/dT07E02irCL3oxMXYeT4HTFJmviWOf9iMj/
iBpfSergiFz6WVmtCnpsP8o+r9rIPaXrK0kTRyU3tL+qfKPsTbpR4rd8Bv43RfP5
YFfiOolNO28Lb4+sLbhAjJ7fMsItMtyWZWHXnNt4kRyZ85EeIrA=
=gTDe
-----END PGP SIGNATURE-----