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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.8.0-2ubuntu2
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-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
 e526ae02cd48c5505a5539f996ac578bc7cfd6f7 2300 coq-simple-io_1.8.0-2ubuntu2.debian.tar.xz
Checksums-Sha256:
 f5eca4f0d5f66f51ba36290cb6498c6244a9f4c757d07df4f24ea00bbbbe1e33 32939 coq-simple-io_1.8.0.orig.tar.gz
 32b3b76faa5d795371c28abc79ef7475b6983737aed900fe7b8a5afeeb1b8704 2300 coq-simple-io_1.8.0-2ubuntu2.debian.tar.xz
Files:
 73ba8ebe3e844ed62c465405b2d946f6 32939 coq-simple-io_1.8.0.orig.tar.gz
 f86e22f56556568880f435cd8b8e5b5c 2300 coq-simple-io_1.8.0-2ubuntu2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPudp0ACgkQ808JdE6f
XdmsIhAAktNRX0D7TfoIpZYX400mNTguuN/EXruRsesC95jSEtXSAgywP6rc9pSC
kOkhdudo99tL3oJIUhC+Qb74y6jFHRGvzayKc+EEWZED54O0M16pZPzhdmN5e/7t
WCmGZ06RBkgQ+2y0VUD4YvcrkxNOGWiVMhOXxO5zOFP2Dq7ICB446WbkHZkfwcBH
+7xAAR3GISm3/n9d42E3CXCKKdE2xgJqhuYlf03vef59IOJjmeTfRyBldJ0FVYEE
nsEnTdBqtoFxZtSjDK7XjMq1NtFuef0qcuOprpzTSF+95+NecexMNQCxYgqX6kkN
f+IP6SlMZDll+jznnGDerIcQNL9DgEbVXLSq5qglkBw8pfae2j1WIQBIZOA4RKxS
lAxgXnvls2AVfPOFruLRCq3t/1xftndfjCAXteB/oYslCCgn4BOr3xo/lGvi9Aci
rVxAOkoff2rKaXtElP6Fm4YZtzJp7cFx2hxPHtCjOQ5ZlFei2hZvqhc2YvitM2fh
pGUNF/UbGBiyHP5j61Jg0liOzOa1QQT0bVmXYFNmIgzZWUeIV2I4b5uC0Pte/Tj9
WvHCsUQcuzuMItdl7rYHHzwq7GoyTiUARGqEbnrKOO+KFyeFJjcLB9duaA0HPMrP
ZWrcPPyTmr7uxDBZMw73fd4QC6enLEV4a/JV6a2i1MMrysVr4t8=
=mDee
-----END PGP SIGNATURE-----