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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.11.0-5build2
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
 d6ad9f04436c78ba6f5b967cb434f8c52ddfbb56 4740 coq-simple-io_1.11.0-5build2.debian.tar.xz
Checksums-Sha256:
 d58ce82b72f1d5b5010bbe04ca1f68dc93d9afb4902aa59b0b2cc7a5abd4fb8f 35489 coq-simple-io_1.11.0.orig.tar.gz
 f2f1314b463b9d2f61948a3ef2d38ca20f4a83f684143d4043eba91d6984ddd2 4740 coq-simple-io_1.11.0-5build2.debian.tar.xz
Files:
 149a38aa56a849082b3aeee8af7d1deb 35489 coq-simple-io_1.11.0.orig.tar.gz
 aa93d297dba143a17d7105afd04c928b 4740 coq-simple-io_1.11.0-5build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqiVAoACgkQ808JdE6f
XdkSFBAAq618MPjjswGfDXLAHLPzmyi0eEsmgo9kNboOZ5hagaCoCf8HZFmSghVh
Ju7tsIikNGp+ZIZ+odU58o66ImBr31q2RSlX+VC9ODKZYZjQB+2fv2INyTnPbUus
MxI1bAXoprGBXDt0VdkBoKnqS/xk5niVxJhIB89ZbHCXgj4q+n9Bmi8+WCtpUrzB
4SlTqaJzZl8PSGMF/Y5iGx67Q9ked0hgeZo1dxPLbw4dDT8eECSKHjxgLcRDz/id
iyitpdLI9Ec2CgV9ZL6ThVHvqzUJ0weN/HFTh8wqSaEaMVShyGb3TGamu9m7u1a6
VuoV9lkYLVE+GYmco3JRxGSYRvRQx9PetPVSejG4l9DvpbQKZgaYEZFR6uERvLSx
Vq2ieijx1MFV6BKybLT/HwnEVMehxsTfqUnMMxE12qc1F8xaMA6xWRPlxz9yVakO
OlTcILLXU0CprT41gwbvduNFuan7U6D0el8yoEzlKA0JPIdL69AXcMxKUwuQAhwf
NyQPVxXMg9TrZIreYTj3Xtp5Cpuca1fL6y5XR4A8eLDYd7ayPj1pgufZ/OU+WyRW
p2OPylvn795cV7diA884klXotyqrELnFx2GbkQpa5VrHTZ3/YuEXJZO0O9vBejAj
hZ6XGrswfft0aJysw0lBTNVnGLQ/3A//jcxUzakw9StjMuVHtgs=
=v5WO
-----END PGP SIGNATURE-----