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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.8.0-2ubuntu3
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.1
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>
Package-List:
 libcoq-simple-io deb ocaml optional arch=any
Checksums-Sha1:
 027ba027790bfce733df5b6256d44b4ca6d8cabc 32939 coq-simple-io_1.8.0.orig.tar.gz
 adf0f252659c5b3ad882885685bb85b1258ec130 2320 coq-simple-io_1.8.0-2ubuntu3.debian.tar.xz
Checksums-Sha256:
 f5eca4f0d5f66f51ba36290cb6498c6244a9f4c757d07df4f24ea00bbbbe1e33 32939 coq-simple-io_1.8.0.orig.tar.gz
 d8e656e0c588d375a0b0ac2c80a1396a7d74086b830065d32f3ff6c08faa2e53 2320 coq-simple-io_1.8.0-2ubuntu3.debian.tar.xz
Files:
 73ba8ebe3e844ed62c465405b2d946f6 32939 coq-simple-io_1.8.0.orig.tar.gz
 f09fc0a81a9a768db36af226c93d0ff9 2320 coq-simple-io_1.8.0-2ubuntu3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmSILJEACgkQ808JdE6f
Xdl0yxAAqLqX9be9DVMcledPFQHzvdK9nTxcZUTSaOCy2h4oQIYBUgASCdY9riQ6
btPZEwGEC04BlT4v0jKvEwZwrqKFvNPUGnvxms+iTYEpRqYzZRTdsGJ2vKJMye+8
gGUjIIuWn9IYZ9pp5tdtn8WrwSiGBaodfNjcKUZHP6OA5PB/A/qDUiridj9+7x7l
fn4XyXPSNHOxjvdzyn04v4e7XF2w5dCgNgeuQ6yJKnivYseHxaCY+QbCNskaC41K
SnI1VoJTp2FRt7PPUhA9rQnatXxNf7IXVOms2axuL0k44D7Olqt3K1JHeFCk7elp
ULHx5VCOwsMxg63S8etwkleVDL++U7EDFUuv1JQ9bDmltPm/XKAe7+sYhNywlWlJ
poX39O6Uf9/tbArxDTisQRsT3KnfVnEHDglVSGOTx8aw+gn6ey4d6furcIyjUnhS
WiSnjvOhlxv3L6B+8hvLZUkGKlEDcYNHvIn0mvi7ddDDONZ+BgPXYBDEln0l8jEZ
TOvnUecZMlSK8EmjY6tPe8LGfvZNcYLsHZ3X7QjTJRrtkC85iicd6su3Z5IRZhpe
3dA6UdljIyzIjVi2r7VuQ49ra1al2ad3NcwI/OMld892GYuxWySaO6HY8dmq2pCp
WzBVDO2/ZUXmA/TMMVV7N8NX3lIrep4IBDIkoOEsSAW+7usGNdo=
=64AC
-----END PGP SIGNATURE-----