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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.8.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-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
 3a3cbb26510f7502677273a699f20e6e260d0d39 2292 coq-simple-io_1.8.0-2ubuntu1.debian.tar.xz
Checksums-Sha256:
 f5eca4f0d5f66f51ba36290cb6498c6244a9f4c757d07df4f24ea00bbbbe1e33 32939 coq-simple-io_1.8.0.orig.tar.gz
 e8b98b4cdcc85a1a1289975ada6c888f6959fa50c9781ce2227534d20ebc7fd3 2292 coq-simple-io_1.8.0-2ubuntu1.debian.tar.xz
Files:
 73ba8ebe3e844ed62c465405b2d946f6 32939 coq-simple-io_1.8.0.orig.tar.gz
 94fa47ede711231f520f6b89fba6bae3 2292 coq-simple-io_1.8.0-2ubuntu1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPS7S0ACgkQ808JdE6f
XdmmvQ/+KvSCz7yLk1b5cq23bbnUFSbBl1XEKIBGOea0MkHVv51+bn/muif0XCdc
hpoPJLhgk2SydWUfBrfcTjpTc0lqF+nzV0uw0EMq5GJv6dJHEm31AzIEv/+FRWWz
x2zhOET8AMw7napfkWj3mg31qBAzz1FvB6bmj9lb/gzlJ5XkfzxPSiFbmtIm/2z9
avk2Zkai7ly+hqFka0l0VCD6r5E57FIWYVN9XGUaSI2XXG7NipP7hwM3WfaqFCR5
dy6caw2Zi9Rmr7S/jAKQSwsC8Myb33BHHVkPQE0VUVrj4s7WyOZkKKyUsL3Ha3oL
wiv5R0uRML0Y6ud7kvRzZqtoBA6AYqvE2D44DRhRkpvt0Y8ZUIeK2OlAnyTdQ3C8
WBiSSdr2K/aI5btsbPM36J4N0TnFxR9uwP88J9V40kXpy2VurBJYLNPxtZMU9mrf
4e9lEuG6EwpEF0qYnncQJsdh+DnlFE2SR5IhV6GYpTtXuZbatu5xb0KjFW3sXLRv
lbbNQxA2BBjsIsrn2wpcIX2b947E9AFVMAC8L+VWzdkgPxMqZjSm/Y5lKkLM3+zm
etpvVaKjBAyTd+biyexj9h95mwlhDNtBoV1Qr+O2dcEe0VARmNdvjFRDMAY/whHh
YhKk2rs60dGzZXjcC8Ad1CXXoGLAWc99nDxKXfGkXlKWaDg0414=
=IM4i
-----END PGP SIGNATURE-----