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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.10.0-1build1
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
 fe8cb7644bd9f008e596588f82d3e1d616244039 2724 coq-simple-io_1.10.0-1build1.debian.tar.xz
Checksums-Sha256:
 f44bd147e3a4e724ee77e47fc7bd7da0cc6b8a4cdf63633cc1c35ce21b91e3aa 34396 coq-simple-io_1.10.0.orig.tar.gz
 b42a32fbdff10c78ff510b011f51f9649285a24905dc3a200cd569d5f45c9622 2724 coq-simple-io_1.10.0-1build1.debian.tar.xz
Files:
 9acde8dbaf64bfd7ff9d2b0333747b79 34396 coq-simple-io_1.10.0.orig.tar.gz
 22e7625c6a665ecd838b72d343b5d4e2 2724 coq-simple-io_1.10.0-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmc+2/MACgkQLIPbyOm9
DjeF1Q/9F52Bec1P+EmNLmKIUUX29iKDTc9XrCh68TxOITylfjWbITBqrh4LOC9k
Mzi4R0VaOqpta/7nLhYSCM7dJMJt1ESwbfGDI5sDN5jkct0ZCQl4weD+VlwUWfAY
//KR0jZc3eXG7wUvThAPCqnWUJ9k5bBoQCar8MOK0+Lh8wvfU891ZV0ao/nMWoNB
aqX+9MwsylOWi11it6KAkH0YFb9E3GCPKamCQ1ba6GV36FtlzQEUf2rIQMCrHCTP
BuOPa0ahdtttAqJCgTJ7WAhsig9mmm1ckHCUEM70xP16x8A00y3XDG/Gos96/rWH
LBlUloC3Ogw4OaThJVGLrfjtkB+J6jHPEJAmjLCH/ouhJb89Pj5y8xvzhONinYIW
Y5myzFnPAGeKvVs1mCQL3fzraemE291f3E8MJkUofg+QxY8ort7Hd4vMqUvUkF70
64L5KVqbltapquG7a4d3Ca/6zffezYwt1qEAyt/uM8IA6/QCWQT19zJK1jq/HAzL
0ut3eX8pDzGqao1oPsQ9VMwsASuJHu7RutZ6vUJFW11L8iK0ad4TlmONtafHdzXZ
j3jvcbIDMuYtl6TOopFfs2NVc49koH4/uf/j2/ut8gHeQfaSnwa9ZG8cA/CjU/vx
NwWWSYZsuoCCqNcDeYE5RmfzNMmW4/5Gjhdw6FdEK9JiCqdfG/0=
=zSAW
-----END PGP SIGNATURE-----