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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.11.0-1build5
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:
 8ab9aa23aabbec6a24c72e5951cb76ad978681a9 35489 coq-simple-io_1.11.0.orig.tar.gz
 7d8c780787a9593e24c23684af3b797995cac014 2864 coq-simple-io_1.11.0-1build5.debian.tar.xz
Checksums-Sha256:
 d58ce82b72f1d5b5010bbe04ca1f68dc93d9afb4902aa59b0b2cc7a5abd4fb8f 35489 coq-simple-io_1.11.0.orig.tar.gz
 611f5bab01e216134ce41e209a9700aef1a25e2a6240c1543fa8e3fe5015ad34 2864 coq-simple-io_1.11.0-1build5.debian.tar.xz
Files:
 149a38aa56a849082b3aeee8af7d1deb 35489 coq-simple-io_1.11.0.orig.tar.gz
 e9faa98f957ecc11fb37db6abe2e14d8 2864 coq-simple-io_1.11.0-1build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpOxzUACgkQ808JdE6f
Xdk6Yw//chT3n3orgcM2OeQvmYzEe03y9ofUz6Cv+vnLe947ut5ysxYrGdP9z+eM
Xf+FSRTQ71jbSjz2JfecsUPbKrH3vYuJc9zCOpBQqTL2+lgwOxXVNCB5DdiiMGKU
P4Yew8OVDzlXcuUG7lg/20ojVyxAJF/FciDP0aX3IYOjWdhMDbrmkmbxcWOq5/CY
THKiDZnP9wrwHdnN36y1neXQlBtsWcSfmJttsBnyHRCQR0H4rIIYP/SjlBpApNWE
lu2b6KgEaVScb0Bp/0G8Yt+qbvZAOuPbpEyI7tRuy6YMTdo/cuYjxVNeisEtKiLj
pKbi8QLK8hzss7o8MLWdp130s8AvKpGGtxoiYZpmgsBHC5z1w9reqDUBpGysZeRl
aeTmQ9ior8K1axRLgg6FbaVQ/ztCIvkoY399yV+pmIEH7UXhstU8P68VDnHoSJaN
m17IQV7EHvVbeSctvuP8mjLxLWQPadeHR798HWIZgyd2/8QIaiWlaowMu0RqmlnY
KT/miBeAwiyVkfb45ExAr23XK8EEx/fEIGfUz0c8Qh3q3tBwsXzrICp+aH8M6e4P
7GgcX2fCLwbimWDT/Sqo8qz0gwu14ghi1E6Im6oKUZkQ7c55u+wkuCo9Y5K6gnbq
R6S2WZkvY/7mf7dGGcTEOBkvx4mkZ51HfMnItii14fPLQc1+Mpk=
=wElV
-----END PGP SIGNATURE-----