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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.11.0-4
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.4
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
 5b55f3ae5d8c2a0d41c592c5e8e1c2fe7e479060 3704 coq-simple-io_1.11.0-4.debian.tar.xz
Checksums-Sha256:
 d58ce82b72f1d5b5010bbe04ca1f68dc93d9afb4902aa59b0b2cc7a5abd4fb8f 35489 coq-simple-io_1.11.0.orig.tar.gz
 451bfd3f72529982c233e43adc08e636faf81301355eda823eb022c45445fae0 3704 coq-simple-io_1.11.0-4.debian.tar.xz
Files:
 149a38aa56a849082b3aeee8af7d1deb 35489 coq-simple-io_1.11.0.orig.tar.gz
 6f8ce04ce800d0d9e65096cb14ec19a7 3704 coq-simple-io_1.11.0-4.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpR6O4ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUdrsD/94C0p3X9TT8s7wAp7FUXPM
uI5u6f14EcVxK7683Pw4tznR/7nezvFR+TPAJ3o45mCOvLk9Ghnz8hJkUNk8312g
8511zlhJ+etZ9Vv3NScsS9pB4mQVorIKOHUttkE/ADjGBz7THLzDaKzyn+oEJ2bW
beTtTEoaoyH/DA2UiMziCPt7opoLr9/Ec2Dn0/QbI1CKmuJ8d3RRnejFhpwOM+Sd
cE6Erl6ZP2ndA72rves8vSF1Jy7LQsar9jig9J4793h5hzNdwCOJvuRduUpqCeBP
mhdA/xUxXVd5XN3+Iu9iwtqOqM9NtD3NGv3BdsXqXLFM67H2ZzFk6e+tcE8ZkPz1
4WohXn4iSrMveZFSXiYZ6Le4XQTdsOyrkWqE+uzPe7FEgAdJLpzio1swDEkWhUEw
RDEspkaqb0KIi+JsEASNMe7AvCHOqYdoo9qskr4YRb7paf9cUslIxWu/epwm1PrK
e8cI7CIvAG9HNrxK3gN6nS8xJsBeIBtcNRTgNqr1UR51ANVt8q77EeHDiAF4ZxDx
v3jnW+US2RcyLAwKVJ1XpINLCRZXlJpS1mlpbHyWZdjK3vQ2c1bgrdgFxQNAas1U
43CFz8zA/2JJinfcUfD1cTq5DZBxb9FXal4DwLwn+CrnY+P2fdcf/tEhR6m0dVuN
yH18229aZwNsczNZrosoXg==
=ZrPB
-----END PGP SIGNATURE-----