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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.11.0-1build6
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
 c72e5818d29ccd8851bd2e0855b7ee9dc25bff2b 2868 coq-simple-io_1.11.0-1build6.debian.tar.xz
Checksums-Sha256:
 d58ce82b72f1d5b5010bbe04ca1f68dc93d9afb4902aa59b0b2cc7a5abd4fb8f 35489 coq-simple-io_1.11.0.orig.tar.gz
 5414d8508bcf6c98f4470329eb85cd236dcc834e1c97923bcc9cd9375a87fb4f 2868 coq-simple-io_1.11.0-1build6.debian.tar.xz
Files:
 149a38aa56a849082b3aeee8af7d1deb 35489 coq-simple-io_1.11.0.orig.tar.gz
 e279bc72889fd82e2121d40e2deb3a3c 2868 coq-simple-io_1.11.0-1build6.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpXXAEACgkQ808JdE6f
XdnUExAAuPvu5okvY2QTA8XSR7f9SHhx0IE9Xds/pVv2/Y9z9RZ4inOHHC45c5sB
JEx6v7z0Dq6ekzkbTDH+CnVpNUYQUnXIfdjd3gcnHsxXkKOEdBnYZHjzfWFfaWVp
HHB6HUr57VgvSi13sixE3y5ZXWgL7ctM7fe4UPqcKZDmhnDSuBg9UEPdDTDHGAvg
MAwdyVe5BDttQGcD71ST4lRTpdASIHVhQ7k//q3RS2/GKODWAsLD54uQf3TdzRBU
yh9CVqWWL9fZNWv/ukYcJY3FsLc0ZId2JoBmO7bM8Nfp8XLVwxsDmeSlx4pQYEoA
zexHgxLCjKur6lyyEHWRhOgUqc328kA3JRbTMUqtFcvd4C8zAFX85zRGCRiUvKd4
d5gUFDLYtaeNgtMM1A0ZWbDRPSff7itjoRDc1FXqJ1/OgBPyAi9KY1+4fLK5SvvD
Z7d+wph9IMxEa+e9FObT6r282Le4Qt7cEI5Odnayp04NKnWBYQlIQy9xQDbA1504
tJTklRB5TeNCL2SqStkGmzI4IrGhI+zB4Ae50Z4x+tHn+2zH3/HmmTFzBkzoCNMn
3yY0iBcKbia6Imyt7U5iRjk/bMcjET8AC1KFkM6De4cr5tafxmFBHemQAWaCojUJ
R8EQp7wOi6cM96bqstnGg8atwdVnZdt937ISqAGLijByD405YSY=
=J+do
-----END PGP SIGNATURE-----