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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.10.0-1build2
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:
 ea1cc64e777ea4aa23d4f58be9a9ee731c70d8f1 34396 coq-simple-io_1.10.0.orig.tar.gz
 e40e745c4fce266506f363b4aac3d71ccf2c2261 2772 coq-simple-io_1.10.0-1build2.debian.tar.xz
Checksums-Sha256:
 f44bd147e3a4e724ee77e47fc7bd7da0cc6b8a4cdf63633cc1c35ce21b91e3aa 34396 coq-simple-io_1.10.0.orig.tar.gz
 f9171116f114b464f09de5cd9a416577e2e50d1e6cd8880bdb2631b72406737f 2772 coq-simple-io_1.10.0-1build2.debian.tar.xz
Files:
 9acde8dbaf64bfd7ff9d2b0333747b79 34396 coq-simple-io_1.10.0.orig.tar.gz
 c5b09237f2893d5a88d7ed18f4e23a4b 2772 coq-simple-io_1.10.0-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeBBIIACgkQ808JdE6f
XdlysQ/+NH4HpGztK5SqoDruzXZfa1zgXJAL6b3qTjpqGI8dH1+saD++rXjzYUeE
qqY82ZcHZYKNxA4MOJLYwZwv1tsfwYevytRV4bKZuoew5CU00jQZ9Z9ATjVFE8v/
0PwMuCZULfyymOJmzAZcATwuPuZ8vaFc6bQnO6C6uk3qjyNf5C/+fAhyEcLahhEd
ufv8A6HNn2OPPgkkYY1pNOwW3Q7i3gBg3EGKEo4f+1bvmInJYrxtFiMEPW2/W9Eu
H0Gfl0w1KMgrkhOFlHUjv8d0yCfwkH63bvHEbr6JsG6sq+coeRXkcD2IPFG4b6cP
iHtSSs14q1XQBgeA5hYfWFOSAFAutGlMgrIS9A//a8oBIImOiL0IGGJHMmAUpF+U
pVpAJkyUtj4DcOpxsMcNyLkzG6ngiTEz7wZNpq5Ewwuv0991LM6fcPGSHDAINxI+
YuWAnNof7LWRn9L/P6h9WyxVvfgkPX70tOB4/dL/r7dR+4k/nL3CrYdkELoGopL9
j7A3CfFeVWS+15HSNBTWdo3T2G5AoMk6q+EqSL8v5Np/qtIH7Co+cX9wBiC75cFv
wAC6neoS2xSsfenkIa1tCmwgpCvMniUKGIBozD5KWsAmDNrGcNJtsTA5NvEc2pRC
wqQVII8W21SVCrxDZ27vp/qsn9/QG0tAk2XdQKCxt2BpsJPdA/M=
=Y/YS
-----END PGP SIGNATURE-----