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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.9.0-2build3
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
 e27cbc314403753f4ed40969583ab2524d521054 2764 coq-simple-io_1.9.0-2build3.debian.tar.xz
Checksums-Sha256:
 6eff165a47b1fb0e1206ef44599b000130109ab17623d69edef549b0fa6940f2 34147 coq-simple-io_1.9.0.orig.tar.gz
 734631e3ec65f30ad8514c337f610bc73e974bfb015ad3a2f10b4ecb930556a4 2764 coq-simple-io_1.9.0-2build3.debian.tar.xz
Files:
 e1bdd50e4d848eaccf2ed0f2bb146e23 34147 coq-simple-io_1.9.0.orig.tar.gz
 9966d3d03789407383898cad47a8e350 2764 coq-simple-io_1.9.0-2build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbci1cACgkQLIPbyOm9
DjeL5g/+LMtv//i4vSpg5dVII8Qxqz80N0VGXf23eD9itbNsO2T7Zk6J9bOgKMuY
g15Hq1cNYx36tJyQyUFckgIA+gvFULpUg8aFw4OHA0pzx/rR7xwDxTXtq985q8pm
QRd0Ar0A3tZjavjXowjS0E1iw/iADp1qf7bbSZlxM3RTIa6Ps/4wlmKu/R05cYz0
wkQzJUuwo1vKgpy2qiOYSBxuzsGUyV/boFSP/4QL28tqJSlqFEE/ShPnS4JnBqDM
ISE88jI+k2Jkknnc2vE463qp3ZYrEDDWld2mK5Voo5Vq/Vr85xaobL5qkqlDLAw3
+wgDJ3Uu97H4W7MfO8A/eCuApFjLUZQwU512ShlEhS7N/3OgEwl4Byg8JALj8ip8
ZYQfod/wx2UeLQaYAGsKBzafYp8c12trwUshpUsJPgVMqY8Bol+pjTgkf2dNCRIY
XuH/OUdAE8l1Q2091JXS07JC43QHDSJt8UWUqZUHTmdFk8fT42qQWT+TREeCjiZH
OT1Lem2GpT+XcLWi7AsKUiFc2NaWAMPJEgmOC6HOkJfBwb0cBDLiXT7kaULdAPz3
Gkda7FnIQTJEx641yMXQXYlPP1Ue8mbvQS9fu0nvWkNHpCluaigDfKNdlv12Qkl/
UrpcJQsGA8fXWrC3aNuwJZVVmjKAz3LF7mZ2jE2lSwt2kXdA9x8=
=J+Tn
-----END PGP SIGNATURE-----