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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.7.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:
 6a8f8c0a1bfde7b1476a0da5196e3e08ac1dbd0e 26183 coq-simple-io_1.7.0.orig.tar.gz
 d644ee5175b8f56650e6016a0d6e887066a286b0 1872 coq-simple-io_1.7.0-1.debian.tar.xz
Checksums-Sha256:
 2460e1403c5898ccc5b5f84be10b4acdf93393cce4e49e0fc73dc57b9463e144 26183 coq-simple-io_1.7.0.orig.tar.gz
 24a26afdc3b342d487c18fdb235fdbbd6324f8fc19ec5ecfd290cf32a10f2444 1872 coq-simple-io_1.7.0-1.debian.tar.xz
Files:
 ebf304b8be97070fde8e2383eba96984 26183 coq-simple-io_1.7.0.orig.tar.gz
 4a357597a02f5c95b0cd60ad534472ee 1872 coq-simple-io_1.7.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLH0qkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRrsAP/2GdPotrFyYMGc6pI1VLUNV00KwvJ56W
myWZgUkuos/oruXKwc7z+ewVcYUA9vJAZ5n6hJew7vxGi4cOspGUpjhyFHuCfitf
ZPgZtskqfEWZW+RWzmjSJWm4ww726A3ibKONUI0TPnP/cNsYzIQu7e1+ouNUb3qB
kI8noGTL5h+d+jnbQ7JSOQwpzHxUThfufmw2RF0zPca9ssKyImoHTeZvR/VjbFTk
GtoT2qrXxpq85h6Kjt6qlGfPq7Ag67YaK+t848IApnBlSVkisqYLzJ2VKeX+2uty
72+59ri4fHpOoWqK7U0TDFTNhl2EdyfZZvozlSAX3TGW+lb4vU3SJyi2TDW/iT4f
PiORvfvxZeVIWOP9jl2e9nyFiwCZtf+tLMBWqSRpVEJqFvFgpHYpW8NsY0VwSNve
K4KJm3APS9lmMZTsEKGBHDXBkgbZTOh2Ibqq1NhTuXeFM+xpBvz25i+P5PbHLARn
TT9CHCwsGzSmpx5uqTk5gkSM21XQ/yO+T+4GNpWnm+Ou4FicE7oEFgYldgzcRKoz
GbH7G9zF2by+rr0Fs5uw7KyDmxjHNfAq1w3FppM1cRi6uizQDZOrFmJC/06kO00y
5XKewQSW/2JND3kFNyCr5G9vCERHpogMSzpkiaRt+sawU3RoeGKMZEsICgHFFeXI
sCMoSRgjJyNQ
=/Por
-----END PGP SIGNATURE-----