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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.11.0-2
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, 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
 cc2baa65053ff55dcb1ba7a8cef0f5b3e256a4c7 2776 coq-simple-io_1.11.0-2.debian.tar.xz
Checksums-Sha256:
 d58ce82b72f1d5b5010bbe04ca1f68dc93d9afb4902aa59b0b2cc7a5abd4fb8f 35489 coq-simple-io_1.11.0.orig.tar.gz
 2bca1033bb2a426c38e52a029c57cf055b32e1a46622d01406eb062fe6d6bbbf 2776 coq-simple-io_1.11.0-2.debian.tar.xz
Files:
 149a38aa56a849082b3aeee8af7d1deb 35489 coq-simple-io_1.11.0.orig.tar.gz
 6b104e2deb0251599de209edd0d04e92 2776 coq-simple-io_1.11.0-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkB3B8ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUTT6D/4xGHc6tWOWZJGDHqTnxDpR
Hy3gZ7qrU7h0qIcP5k8lDtyN5Z24c1RTKQp+DgznqyPXPP54zEXMTSM3L5UJhx91
fxmTjtYAnQFQdLLoOJiE/BIf8edZRveNhgVEa7XTdnbqrDoJX2/HQ1TwPrh9PTcm
bnO1AKgbyUhFc2KV4vB8PmWYgAsN0KgjIeIk6sLU548WOji2WabOF1g1wnexLXxx
vwfm9brYhvpMmXdR15Fu/2plokr19yOu8H5zLZ3ei85UorGj2WULnuKLts1ikqVb
rdPdD3lh0MJ4RCB/jM7VZmmlRUGwpwsj+bgDPRPHITInSB+RT7sO7gN+67qwxEiU
KRZivy33I6e5WsiI27pN7+Ppn3iTb6R6prDFbnGc5+ZdNCExLp9+sqlNr5GwLfdr
n/yCbSA4GsunTd9+9JZ7lvsFt0xg2oaH6irMqDgz5Iy62aK2uSkxtFo4eizgZV/l
LlzRkMNnie5ZEglKTAMDOJ7U8tPSHrakHxSDmAXnviI8j/NE0pHDMIWX9xB0hp23
0j44f7pdGLpor7PhsAix7RwJiQcYnRc43nAilAXl1FZRMt1hY1BMLnWYRd/wmj9F
gSLtwmm8XYmrry1ocvtXkoiloGrILBEDvO80kikIPl2aYjEpeYP6i7ePQwMdb5+u
dpns2NOHhQz2lWAR3kE+6Q==
=7LKc
-----END PGP SIGNATURE-----