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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.11.0-1build4
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
 e68a26246a5e9e5c296037b5a96b665e36886475 2840 coq-simple-io_1.11.0-1build4.debian.tar.xz
Checksums-Sha256:
 d58ce82b72f1d5b5010bbe04ca1f68dc93d9afb4902aa59b0b2cc7a5abd4fb8f 35489 coq-simple-io_1.11.0.orig.tar.gz
 4b91f0bb3fb3e525732d476213accc87e475fb36d13b3b35df30253fb9227146 2840 coq-simple-io_1.11.0-1build4.debian.tar.xz
Files:
 149a38aa56a849082b3aeee8af7d1deb 35489 coq-simple-io_1.11.0.orig.tar.gz
 5d80854f9a9c21f49512018299ed556a 2840 coq-simple-io_1.11.0-1build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmoS+MACgkQWWH9vpxh
mAlihA/+MRnugnDIaTDIpnqETTWgc0zQ9Au2kd2k6XVRZhF63wu0lvR/XxOHIeAP
aT/6ih8kdB7MZB5sBq1BbD5Xy0qIizYJ62PNlXvt/B7fZjNlwYUw7Sm5vsE7371U
XxgJHE9w0bBfhaf98IdMqh2cG7McgMbVVIWqnxpXu+Hcj+bT8FoXBZEJ4Vu7RTBB
dyJGGAkLSAVZ73GT2Fg7PzCjgynY2Iy5LXQC861LrKXO2IgWvKLwNWrwEuB2NQpn
zqZZtk1kTrpcXikKxJ7DdvKHEzX5QfOF7V656tqgqkYzd4tAqKEMs3cySX+Q4hSy
XN0BEs0g2RJYqLZHBcHDzI4Dh1dTzZhz+shdClqZMkQ/VAXy/NkQnRuKJkM0pUeC
QNbHZ+Ds5gX+3aTGWNaPVlb1b/Ce4W5fK9Qjmbl/aRtOGTTKBUQiAeLMkRyKK3p7
w2fuvdYwe2fqNQuviGDkdv1x2CXxmdmTQ+tlg1kkeoFW7aIvAYcmmWWHaslqPnZA
9LK7As426HNW1FgULxq9pqdTpibYHvyYdd/eABWGU5LQTqYS/ky1QyyYHICT1CmF
KceJ0dmh8v+ajtC27pq3TTahfmY8eREbWO6RCRc7zmx202R0xCReYBaycfEcwU9t
TNAXRg2VXSlg/G3jb3Q4wVAk3IjyjmobJjDAUF3zNtGvzLtKDVg=
=h9SK
-----END PGP SIGNATURE-----