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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.11.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.7.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 (>= 9), 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
 6cbd41be0a964b82cdb72ddcf20e190175361af7 2820 coq-simple-io_1.11.0-3.debian.tar.xz
Checksums-Sha256:
 d58ce82b72f1d5b5010bbe04ca1f68dc93d9afb4902aa59b0b2cc7a5abd4fb8f 35489 coq-simple-io_1.11.0.orig.tar.gz
 9f7b645042d54b9d9a9e32b77d1af7118a8cb9455b8fb4c54e153a444e1b44ac 2820 coq-simple-io_1.11.0-3.debian.tar.xz
Files:
 149a38aa56a849082b3aeee8af7d1deb 35489 coq-simple-io_1.11.0.orig.tar.gz
 b49019ed9a9b63a3f40a6f99b4b04031 2820 coq-simple-io_1.11.0-3.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTgmcZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUd2wD/0R999zQ350P433DCLOzNXu
IVci/viWOtNjBoCUfqfXdZENySgr866B6yU3ucW84VObup9Lx6b96JzxJ10oxJnv
AEPDRlk75eBxvAW/ALtJD7/9fZxUuMn9/J+bAk5/qVNFIHtZ+4Oe2IBssv3135LV
KhEhAsC0WJ+fcFaa0cuMASLjLCb4LbPB9x85GB6yls8384MMyhrV4DWRpxFyskIJ
k6pzJXalxZQCRmybvsIG3BNIGbs1gzrzuu2f4KVnRkdOvhMN+v40mdqcAknD9+Mr
/+yWXgr0ISsqVhy/axbeEjkMoKW/i9zatRbIoriHCrwy72CjoX+NPkoDQekFmfPf
eQJ7CEBYtDVQ8TeyoYpKm1OacGmLN/NYzYNrBshWCuC3aQFLuAI6v5gXMhNAY+H0
j5QYPDl2vYdMFnaSGpUGlMswUp8NbMvg+cTJ1/VtJR0EPnxn1jDI5rVPbqmUgUL8
hyJ8EkFRfnXVlMpCmTL71T7QCteLsx0Hqgd9Uj6UjUUSA3dYHH0uDeKq3xRF7tNj
0EjXZwe5TcPFVdxhqdLpBdS3yDEt5L8I5LbViGRJ/vNp8lIC0RLvOintWdGJDmqA
pjsYmhzK/9V+oIWTPXyjfRno/ygSF5BP6CKgjOVuQ+iDb2zF/O7IO1CDUbzytMGD
Ki7BCakEVXb9ytQhMQ8h0Q==
=yo1s
-----END PGP SIGNATURE-----