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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.8.0-1
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-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
 d5c935e6fc7d84f0958cfe2acccdf670280206b6 1988 coq-simple-io_1.8.0-1.debian.tar.xz
Checksums-Sha256:
 f5eca4f0d5f66f51ba36290cb6498c6244a9f4c757d07df4f24ea00bbbbe1e33 32939 coq-simple-io_1.8.0.orig.tar.gz
 0a3b835d0e5091e636afa02043930d51f8c29fd82dd22bb3cfde2213ff637f3c 1988 coq-simple-io_1.8.0-1.debian.tar.xz
Files:
 73ba8ebe3e844ed62c465405b2d946f6 32939 coq-simple-io_1.8.0.orig.tar.gz
 149abcba31c32b0123782f047701edd2 1988 coq-simple-io_1.8.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMtqBMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR5nIP+wX4dkjf+bqQKBhK3okYpD4RU9monFLJ
kWr8Yj2ibWvZiwyy/wE5Nodwq72OBUvgr58aQoFe1GbwSzH5xXfv0RDzLLbl5wci
uv8fF0LXATWvMU6v4omxTqWusIk2FtvDk/KISQPDr3s0ojl+f6rczZclsaG1Or6S
VqYRQQZmODQnk8RcM+sUYwSzjVkKJuBsPZ93PatB5YTeIViXSDbJdEU2tjcWU1RZ
g9hsK7GhP268OCj01LEr1tRsvBn7SG3rDBGahGafFw8Pbfx5Wnkt9Ya5YQ1d18HB
u1Zh6A3Ng9eSvPvZGzzMDD5P6a8mnqYjqrWi5awxGjdaALo5fXqb+jWqqU1crqXQ
COZzAq5aasPbgUe8Y2wpPepJ7sl2Gt2l5LYt8VleqpCC2QycP5qtjrqhXo3TeMlD
JJ7JA0jesuvKxsiq7Xm1EwEsXjoH2nGh8FOqY64QAPMQS19hwS6fRAUXahKwHlOR
1vjiBup/Zu+1kkdCEH25yjuKdRQ0uT2Ym22c3xF+Of6x6fnjdXb0qPUAnZHpn8cZ
3gS7oS1Ptvqrc4qVneglrWyO9tX4TUOSJS6CRTLZAFYZ+QAgzz+UM6tQOJDhd4CW
6ywMpOGGEIOfxntGN85UUG0TPira7gh0d1cpTGOE2AwKY+WLjWBoVCfuQBg7k1Ft
qB1ih2/omY2v
=FKCK
-----END PGP SIGNATURE-----