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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.8.0-3ubuntu2
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>
Package-List:
 libcoq-simple-io deb ocaml optional arch=any
Checksums-Sha1:
 027ba027790bfce733df5b6256d44b4ca6d8cabc 32939 coq-simple-io_1.8.0.orig.tar.gz
 b4a3447fab30cc3ebe58476febff8f244b0d1405 2460 coq-simple-io_1.8.0-3ubuntu2.debian.tar.xz
Checksums-Sha256:
 f5eca4f0d5f66f51ba36290cb6498c6244a9f4c757d07df4f24ea00bbbbe1e33 32939 coq-simple-io_1.8.0.orig.tar.gz
 382eab349db908f739c680ef4a05e8f0ee52bcaf5b1d81a08d6bb78208b70529 2460 coq-simple-io_1.8.0-3ubuntu2.debian.tar.xz
Files:
 73ba8ebe3e844ed62c465405b2d946f6 32939 coq-simple-io_1.8.0.orig.tar.gz
 19dd5c7f0ce874acfe74e3229cb328a0 2460 coq-simple-io_1.8.0-3ubuntu2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmTAq14ACgkQ808JdE6f
Xdk4dBAAuFAR32AdDh+msPzpR5v5yu7xMD+TZxPkCS2z0/bOe/ZwF62GLmGaobMT
aPoVzRyDwnsXaZnnID9uPWhaJoC2ZtVucKBRROwvfVXffJV2xEw8hJc3KKNaKI5a
Z4ec31IbqNY7TJtOoNY4lxe4UXdYDvVOrXdrq2Y64tEyu3jWU4dATagmXea51YIB
aa1KwSg2k7fhSMZJSZKaJ27fXDFktTOCq9bEDXHyKhcf5Ph+yY2A954pT0cZM6YX
C9eCsI5AxF4RIWeFiSdfeqm6dijV3o7lmAYhqIy2USZ57BoQejs/8swjYdNGyf8U
e4OqMA+hydO/lko1trCA/oK6/DxWxclnKIorHN3nGupinHnCFtTWGw+DVhRm14fW
lWOcClCvI8mYyJpg/l0NRFJ3wzGqOOq2gQUz0yPYw+uMkdpypzjFjHWv+kRKhFqn
VHglUHniAfjtgrX6yvUjCJA6N68BqfLzNGoYPyldBY2KS1XrYtUac9psG+WOAIkv
oeiJHLXH2XDr8XvKr3sfCk328AAe1jfsNSGZZlXOQnlViSbOfQ3sTUF/6P92U23c
HGOz2X0XBgBbEHyXWC6eK2vYxDphSKhSRiW7CiBewLBDCfA6hLr7NErHcvpJYI1G
jebwsucMFRo7gsHJ9goG7Q1s9wsfPmC30CNvk9l47xvfVz7TIVY=
=0Byb
-----END PGP SIGNATURE-----