-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.10.0-1build6
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
 0409455e039b9bfe01659e1e887bff4bc2713df6 2864 coq-simple-io_1.10.0-1build6.debian.tar.xz
Checksums-Sha256:
 f44bd147e3a4e724ee77e47fc7bd7da0cc6b8a4cdf63633cc1c35ce21b91e3aa 34396 coq-simple-io_1.10.0.orig.tar.gz
 fef91a7af2cc155a94b452bfa07ae35e3792eeb739cd4570a70e28a7079fe6b4 2864 coq-simple-io_1.10.0-1build6.debian.tar.xz
Files:
 9acde8dbaf64bfd7ff9d2b0333747b79 34396 coq-simple-io_1.10.0.orig.tar.gz
 38b9ccd16583d5d6781b24f410f416ef 2864 coq-simple-io_1.10.0-1build6.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAme1hZ4ACgkQ808JdE6f
Xdnn7w//fSCrjwMOlAY3k91f+Iy3SS0ZrT5n9zzDNN1T0aEhzNYfDp803wGjrltJ
PKJpcskhP4/XhYZaYaHr+1z0gBmzZE48Cl0EtgHc1BGkIP510MV1OBJ8SoIaEfsR
enlKDhp6CBgkTnYeFwWhRywE2g0epU42Iy1VZF1TMI9an6K2ew3S6KL7KLNbhTEH
CNhK0VR7Y7odBHSCwG0EbO0pcwNSs/vJl/ZIV/hi/O5ALm2tyrBmUC8GuAsK4+eP
dgvAHAB7IxKuUc5b6C2QK3BXwSW9sIYbvTF+dkGQ5HR43mgUpBniY0pKGHapOUGr
ck1AI5pe7G2p+08HY0y4FrL2C+nsrHlANfFJpqlY96zMINh4+Q3xp5jqYzjA41jt
lDx5rkn6t8gQt86+906gZ7OvnX/LBNEYpf3T+3c1VJixHK31kv12HB4WyozaSjW+
5T+m7tOUZssJYPmtB12LL0hCJu90PFbmdkwFlfQK+779wDqFeVfo4gIxNJ2KlrFL
dGXrJGXIbLaB6+2p53zv3MipA5iAeTatUzcnTwSUptRkHLTKN+3It/VEeh5tpjjc
Xvccb6hcSuB9IcnDW566dS5TOp3/GMvXyp1SvJKaQzAYu5kGzuxVMuvAaFw3RKoN
fgSboJsfPNcLqMrFJeiXKDvTah3+7NOSpGnHaUgVeYw9a+BkhNg=
=9rMO
-----END PGP SIGNATURE-----