-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.8.0-1ubuntu1
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.1
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-ocaml-dev, libcoq-stdlib, ocamlbuild <!nocheck>
Package-List:
 libcoq-simple-io deb ocaml optional arch=any
Checksums-Sha1:
 027ba027790bfce733df5b6256d44b4ca6d8cabc 32939 coq-simple-io_1.8.0.orig.tar.gz
 33e6ee98b661b09f3f3ba90a84cb67f83006448b 2180 coq-simple-io_1.8.0-1ubuntu1.debian.tar.xz
Checksums-Sha256:
 f5eca4f0d5f66f51ba36290cb6498c6244a9f4c757d07df4f24ea00bbbbe1e33 32939 coq-simple-io_1.8.0.orig.tar.gz
 01c4e40d5630154e245d3580c2a2d857adf8c24c15940f65660e89bc631f8913 2180 coq-simple-io_1.8.0-1ubuntu1.debian.tar.xz
Files:
 73ba8ebe3e844ed62c465405b2d946f6 32939 coq-simple-io_1.8.0.orig.tar.gz
 d0fb6f3a56a3dd7dbc275e7ceac5116f 2180 coq-simple-io_1.8.0-1ubuntu1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmNmbXcACgkQ808JdE6f
XdlBLw/+Ou0eF0xqbnaybPvqjfIkPlVNAuW6aZNCuFuUsc0DEkFdAWvBhx/p1KtV
7y7IRTjBYZwGas92mWpyQ1EePrjzI3f/CtyzkO4Vuqs9OJcKra0ZACXjt9U1GdIp
UVLdnXKgtoJ7Lp1HNVKcfyvLlyMk1n9fXpiU9gyrtMOLjv4YhbFHSDc5XIcdae/V
bA5kMtR0nFnXD0rXZHbfiLHSikWsOGcZlEyxSldHDDqDUeHGMrkLjzNbRHvZ5LHK
Z6OFwy8j0uEPuUceTCXhPx0tqHcYLt+9jlIgbDm2v6w4eADE0kR1iOQkAA2OS/9C
DnXfgOCPCxp7MGq7vAWhcqWXCw0ulO+WlSAWqChwyxErJn+uBQ8B4oOI+DE8rb+x
jGGrzNs4MlFA9LHSYveJzt5E0IodcM63BOSlspW3KeJ+SivW3WCtWiQRbqc9CtCH
a8oUgGfcGAmA3Hd5XgYOTGdNEPxY/kGX0HGiHI0pYy0DM3PK3jUErBbgjv8A63JM
9CnGr2Q9+ahAgpYtdZQMj+Ota1Ab0UojC0IetLXGidGwnIQgslkq/NXdZ69zXC4l
eWvkCZEtlHabNL5KJmNWldtUfvKClOdjpNf6X2VzxjZytW1L5J38ROCKOdooGK5c
yZn5NSYTjQgCXqo20OWAek4TQPRJqCnzb/JltRTv2H9RkUuDMJ0=
=maKn
-----END PGP SIGNATURE-----