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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.9.0-1build3
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>, ocaml-dune
Package-List:
 libcoq-simple-io deb ocaml optional arch=any
Checksums-Sha1:
 bc09666f5e98ca9007aed6e0ef1de5d7145c107d 34147 coq-simple-io_1.9.0.orig.tar.gz
 25cb2d50b1d87f7c2bf68b84b1540277cab09a53 2660 coq-simple-io_1.9.0-1build3.debian.tar.xz
Checksums-Sha256:
 6eff165a47b1fb0e1206ef44599b000130109ab17623d69edef549b0fa6940f2 34147 coq-simple-io_1.9.0.orig.tar.gz
 266655c53faa3cb09556aa13e56333aa6082692e80f8cda90cfdaebb31dd420a 2660 coq-simple-io_1.9.0-1build3.debian.tar.xz
Files:
 e1bdd50e4d848eaccf2ed0f2bb146e23 34147 coq-simple-io_1.9.0.orig.tar.gz
 24e23ec5324c0462051feee704276892 2660 coq-simple-io_1.9.0-1build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZtp20ACgkQ808JdE6f
XdkS0BAA39ZSX3dxhaL9kC8NSPwrA7W1r67JXyU0WVW9ZnMMY2kUGXE5+BSrFZHx
qqW9vdG7ebYDHJB6s4IaBYoulciWsslvO/o3vb9xWH5jcKYwPlYJ+gxg0rGrUL/q
/2Y3ba81jOisxVu4NBt6kArGsFTOIg2W0doX3AlXuJSj5BFOLGfa4hEZbW0DrO/u
N3+1hkFm/uPNPlr995mSXQKyxsssovd6zRi1W0TGQwF5F+nsiGFhLDyLnXrfBMhj
nHVD7cK5EY6W+dqoKZly6yWtF8NIZ9O1Gwno9nvYgh/KjCb5nL0OPevR2u47ltH4
IK2GNHC/tAzEWRDjjhPTEb6n2lNZovXxMUuuhNHvXcQ2Cju53NVmf6uIxx+mrPCf
fNqFpyGDYqdKTabRTzDvZfj/ZRLO9S8ZuFpU9UK6ri5Jxw8zzdynOhuP8H5HmuxG
1T1XW36xf7hFqgZJou5HdU4BTBWKM3o5cmXWmzE+oXm6+9riDqcDzRO4+SE5deDY
ZCPlGgGUqwV++op1ayXYGhFOjVz+AsuuW0yK+i8ULHOSsda6f5C8eHbl4Uqiv5fs
+v3M8C6BxWY4Bnozoxa12q6UgpbPumq1ct0AcT2+iuXPFa6pGfAKbEbgAUif3/il
DONhO4vXCrk7vEuVtiVMby2SXsgK9IaTnYd+WRZ8ywfrJHqQPFg=
=AJv5
-----END PGP SIGNATURE-----