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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.11.0-1build1
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.6.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
 f3ea2a4046665a9dd92a2c2f29f0325c1203eeed 2752 coq-simple-io_1.11.0-1build1.debian.tar.xz
Checksums-Sha256:
 d58ce82b72f1d5b5010bbe04ca1f68dc93d9afb4902aa59b0b2cc7a5abd4fb8f 35489 coq-simple-io_1.11.0.orig.tar.gz
 61970aec9e4a2bb6c63d20a3667bde8ac84fae24e7f10a29eb8647e31878b3e7 2752 coq-simple-io_1.11.0-1build1.debian.tar.xz
Files:
 149a38aa56a849082b3aeee8af7d1deb 35489 coq-simple-io_1.11.0.orig.tar.gz
 3c26200dbdc936f8fee28bc67b7418ee 2752 coq-simple-io_1.11.0-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhVRlUACgkQ808JdE6f
Xdkz2A//b7Ahugcprk3dC6wfHBZ0+pMp7FcEDZaiQAhm3jz3WVGWQkaMXM7ldToX
tCm23sNo67bW0GUvXsLJpXNZfkYox2ql4zm2pzjXIcJfuX9n7+LgAihyogyv50Z7
Q2XRTdLRqJ7ACVPPqojUF5JSj7lMF7Fq2WnqThXICMFgykUT6y47hZVzj9hG8oJ+
KPwGxbS3Oj0DIGWpEAPU1QB4lMt7mu/LU5CwE5TQyTo238Ifagf/xYDWPiJUArfj
sBpETlQIdpjRu6GbR9bAnp6XdqsrSDGEn1/ngIsWyfJooc9r8kFcLutO+QCO9Rfo
G1MCP5pHIaf28tS3x5T9oQjXQFTE/4YawQcBZjZHc6Y9Pg9svWLsOBpVwGJ8sfzK
VhGj5YXoloA8sV0MeXaBuIOntYY1evcmQjSCTRABdh4UzbI1QX5DPUivQKxITMPc
Ds+A4oVvoqyqpo1fgzUOZJmKobPz9JHlyveZ0Q6DayAuWMDfknbbeA/cwJAYHUlQ
Z7RSJvix1rDCTUItzIA3GD0KYenvy1gbEG4vdhk5NDBRMm0myjnfDlZth64svO1T
5lz+xfds6V99nQWw5U9wxjNuTaAmNftLTyg3k3jnHyQY+5QzihOk/rhuuwsEUQMS
lTJUObkU+hC0+89jW8bpjVPNdd7+GKxMdlF6Cj8QrnV6yBp578w=
=CMdI
-----END PGP SIGNATURE-----