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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.11.0-5build1
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 (>= 3.24.1)
Package-List:
 libcoq-simple-io deb ocaml optional arch=any
Checksums-Sha1:
 8ab9aa23aabbec6a24c72e5951cb76ad978681a9 35489 coq-simple-io_1.11.0.orig.tar.gz
 5e2a1862041a63d8083d1f064d511946173e1c49 4700 coq-simple-io_1.11.0-5build1.debian.tar.xz
Checksums-Sha256:
 d58ce82b72f1d5b5010bbe04ca1f68dc93d9afb4902aa59b0b2cc7a5abd4fb8f 35489 coq-simple-io_1.11.0.orig.tar.gz
 056c46503bdbb8968a3c0e7b559333fee0b67df9af9de313efc0bae1ec37b1f0 4700 coq-simple-io_1.11.0-5build1.debian.tar.xz
Files:
 149a38aa56a849082b3aeee8af7d1deb 35489 coq-simple-io_1.11.0.orig.tar.gz
 660f8c847dd824c3a455174b6c70a7fe 4700 coq-simple-io_1.11.0-5build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqVNQIACgkQ808JdE6f
XdkUpQ/+I3csK20PuZZAY45YkdqO4VZ8hlmSusvIeEHf9AX98UZowwYpiTGUbdEY
I7nAfgfcmf8/fi/l18XEBA9GrGMfQpvDJux5cEmwyx/21gb09ExGHh/KWqmUA2Ob
HylweRfAiuDBRYy9tsLeNQYh7vLqlfh+xhw8ZbpZt2uLvS1PU2Yak4W/UG4p2C24
GunivREoueNiN9K4lgJv9p2+7nPeaq3RrNI+3dmLSX+rrqY78qYJRbJz8ESS1pFQ
4VnPc5uzUO4zdwe9oVfe3N8oHlMd8vFVY6TZzdO3AsFDMD10UOVHb7z31Qw/SV/k
4dDQfx8Ef1zKch2FuD/Dfa8+ycm3a1gibmTrd/WfFOflyk0q2AGQIdNDu8wBpTxu
LRFqpSAqYIllN9TPcS8hqdHMWzttB7r8paOzU+V/T4TSdxvIt4gzY+NMBG34V5EA
744KHzO5MBamHH8DSd79xwcB2w0iOeBA9lVXsRhRV1wff2BpA4eMq/xCeQ4Wz7lC
1uwpcx/6wzA2MYueYd/kSD91KWEYuGZfSjokg2mvHS4ZMV5xuWNEHR80RiQp79lu
k9LDSyhklSD8QDmXHEXSg6h8AB65UTM4nQbWdi0vQUDTEpxDkCjFgXsblOZE4p3+
xsxIpYhdHjYO3hJPbjTHFL3fKnVY7R3vR8TMTTTwovxvstOeIFk=
=iZQa
-----END PGP SIGNATURE-----