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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.9.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:
 bc09666f5e98ca9007aed6e0ef1de5d7145c107d 34147 coq-simple-io_1.9.0.orig.tar.gz
 4942f454688a5bebf29eb71c509507745fcac5fb 2644 coq-simple-io_1.9.0-1build2.debian.tar.xz
Checksums-Sha256:
 6eff165a47b1fb0e1206ef44599b000130109ab17623d69edef549b0fa6940f2 34147 coq-simple-io_1.9.0.orig.tar.gz
 59385def7caa31f491489bf88204acbd3fa8f23c8c4112f129cd8938d200869e 2644 coq-simple-io_1.9.0-1build2.debian.tar.xz
Files:
 e1bdd50e4d848eaccf2ed0f2bb146e23 34147 coq-simple-io_1.9.0.orig.tar.gz
 d0a9f92a953ffb64889155d197ec28ad 2644 coq-simple-io_1.9.0-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZCWqYACgkQ808JdE6f
XdmeRhAAwbPS/PQDSCYHlQvyjBS3kpZK3eXyVY66Y8niCnrvQARLUgaI/uzbHxNY
FvHwlwf+ukJ6Fx5wuICGgR67R53ju9AO2lC9vEXNWi0oG+5usa/hQ8LNe2+WRGRa
Iu7yv8SSVaNIqBY4RgdueEvh9Fbgm2+q4P3pz4/V3Pt0WWDy9EqKOtfQbTKBH9i4
Ajj7GTjX4ejO43Odz2WCHL5ufZgrAXRCBplEPCwtuyZWuyU84sZIf4y/1+JklqGM
K46zqXEQlTonJpshALyZcybaYXK5s2oF6gVulrZEbSEvkfdhLM677NRuiM/ZR+kT
n0i5by7Ws0AyrSDOPUbzt5Ui5Kz8cksEk12JTAmhX+QigTsPmaPH7LUd1qAApsqM
xRtdnNxXPnr24V92Z7yMo790SlnvmfsMtTxBYPmRSSPiPUMV6LSkUPnM6ZkacBhg
k7BVSCds9bOcle9WvDS52CW0Ac+w05mMAwCaJYAK5xUlSga4K2yYXuC9iAvmPPk9
8456aro1G+7bNJrjEpgUAg6avCkvNe3DiNPnziTlRii6uj2A4Wwc8IZFPqOMy4rN
jgo4llG2iZ35qZGNV9tHgru75aEYRQe3Cq7a4Mt+UD/Rn5MGko0daqSm0voyqnaA
nG6Sa0ChFcBJECz3x+ngb4RMNiIkPohbXj6lKMrVDhjGMIjHdfk=
=/6vV
-----END PGP SIGNATURE-----