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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.7.0-3
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
 5baee55b2240ed61f79f8526d7d02a86616bd24e 1940 coq-simple-io_1.7.0-3.debian.tar.xz
Checksums-Sha256:
 2460e1403c5898ccc5b5f84be10b4acdf93393cce4e49e0fc73dc57b9463e144 26183 coq-simple-io_1.7.0.orig.tar.gz
 c28a8108e234536b417c9df234d000dd0eba76c321b4d6f80e9f3dcc190e9e1d 1940 coq-simple-io_1.7.0-3.debian.tar.xz
Files:
 ebf304b8be97070fde8e2383eba96984 26183 coq-simple-io_1.7.0.orig.tar.gz
 21fc9d14e3f5a7622e5e68a7c658aa5f 1940 coq-simple-io_1.7.0-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWXRcSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRW9YP/R9dlRq5CoL+riEpRFmsrWrLXollzqjB
r8FGpcCSXbF5MWsf2M9i1JH1Y9XgTNth2QMNFBcacQwBYkr2ttPznhWTo+v1rq/b
Apri1RR4qxpNrF3rukXYPnw1HvND5FgR5+XrZJpZRWNN0CddTQE2UxlPyn5XN8ra
SCFFmvRH4ghzEIDeMn5iAdLuG+9nkJmYmCzGAlmxSPRwsITXvx/7CleXb90R64vf
9vzUuB6HOKxDVTT6bB7u5/QcZlaKS4gxEqgCS316rOSlqY8f7fUrmldoGtR+uLjq
/WvTgfIZXhKNql0pOjTi+bVgnxuii62Ceg7NZitVtPC2fjWDdHUYFI8w/PTdhq0N
ThdVRfTjeaKMPF506uYLSfneYNOPQOCOduQl38P6cwc+QY8yF+tfac119YSJGfzb
eeYGTj/N+5KG78aYfWTaRw0WnBQU0B5x1e0bp7MC3dr8izGHK3VKx6VUIxXOn4CK
JQfOKQhItJmBzzkeXfvOoNd/IOHCdeoKTYtdO/sTX5kHI4lMuziqvFF24cNFmihi
E65pD1apmnL0EAgUHUQj9AeDiEA3k6LwhONH6ce9EELQTskdEl9mf8TI/dLKQGG0
c5hQqAeHL0/Bagpfjrh2K7jTwrtAH7tpx0sl1OGlWe74Lz13Wjykck2UadDh27lN
1nGQf0mHxixb
=RdNK
-----END PGP SIGNATURE-----