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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.9.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:
 bc09666f5e98ca9007aed6e0ef1de5d7145c107d 34147 coq-simple-io_1.9.0.orig.tar.gz
 f742b4ba7fdc836b78cddfc8cc12c258164572e2 2628 coq-simple-io_1.9.0-1build1.debian.tar.xz
Checksums-Sha256:
 6eff165a47b1fb0e1206ef44599b000130109ab17623d69edef549b0fa6940f2 34147 coq-simple-io_1.9.0.orig.tar.gz
 b39c95241a5414d0c6b784b3c3f8971461d3f4752d56eabded253e2ef84f9759 2628 coq-simple-io_1.9.0-1build1.debian.tar.xz
Files:
 e1bdd50e4d848eaccf2ed0f2bb146e23 34147 coq-simple-io_1.9.0.orig.tar.gz
 0ece620a28848f5134d139d94eebf388 2628 coq-simple-io_1.9.0-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmYz8+QACgkQ808JdE6f
XdklsQ/+ItgoofwLkcHyXmJUDAZaXNlAXLrt6XgdzRp/8Qu5+2koeya0/i9r3+zs
PIhMyryGD25z/bOFDjNV7jr3K+9SH0fEtUyGZ9+LlcRTSSt5j5VYWwYkKLExOuIP
43Po5hWEAVOS4QWL7RQ7OhYufUoDau458QmzRBdE3C3GZmUoZ2WmQXxPc92AsTo0
VcBzg+10bEWXNVcnYAsDKcwsNLMiz60YvIDjAPTB9UWCIr9Y/NxdXHLDhNCzY9KT
nmTjUHgaYAzZ8Q/bTx1hQEjMTVD3bhAbBdvfhMkmPf3geKiUSXuaaW6d8PjwTLHo
JZ/wtxkpAC7bSgUeJayvItI9l9TjXUYySRL2q6fQ3lH7npEN6nZmmOl7lXYoX30I
/tfKWiOstweduGOFdBNghGlbjTM9Y4Hwo4+bvPV9bEf4t/42lYk4wW/IarQS8vNM
VJ3ZU+wSECzazfhPXdoAfr6dumEZYDah3hbgCMBFODz6RHsiLTA2rqlewnaVQu/L
lwPQG19ORo+opN6gZb+E48VzozAgojF8BxDFY8si7mkNbSkaMfxxPhmwsEsgrJXr
9XB0nfhK96vX7YxpfAPnwM2gsBb3bJL1Kg/HAQw11Nbls/eavcGjKodLCTbMGsgO
P9KrWxsxtSjmZdf5tHxbQbLgQ2rTNji3MFKH/U5mKVH3zOQfMU4=
=ynA6
-----END PGP SIGNATURE-----