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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.8.0-1ubuntu3
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
 dac28adf97f4266de0c383618a13f34ccf7e2ea7 2224 coq-simple-io_1.8.0-1ubuntu3.debian.tar.xz
Checksums-Sha256:
 f5eca4f0d5f66f51ba36290cb6498c6244a9f4c757d07df4f24ea00bbbbe1e33 32939 coq-simple-io_1.8.0.orig.tar.gz
 b2fb03716138892d36b1f250c6e4dd8a6bfacff23d847d1d036e2735bcb8ea38 2224 coq-simple-io_1.8.0-1ubuntu3.debian.tar.xz
Files:
 73ba8ebe3e844ed62c465405b2d946f6 32939 coq-simple-io_1.8.0.orig.tar.gz
 c255be9e5d2a8982c50378754efcef68 2224 coq-simple-io_1.8.0-1ubuntu3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOLOY0ACgkQ808JdE6f
Xdl1cQ/9H+N95vwA0xsbdHvmwxqCCAI9Cy25xEPBXQv1cVla8en5bv7zuPYzy6PV
Ey075YHYd4E3WKfrszN+Yu5J710ynRRVzw+EPxrq7sskJzwV1RNcehm1AdhEamNV
twUTSTZT6eqR7h5ul6uS7QpOlsnfE+x4KXrIxjAPR5QOyOxmp2uZlQtzuAUseN5b
L6F99b7sPk/uIPOA8lcsxnxBB45WZOFtIF0maqZQKeW1uGxWcd6Fy4lNc/+BuHHX
TK55cSaFh/dFZvo4C8rkHVUnsAdLUNj0utbvbwOZIsVKqVa9jjamDMuyRDaA7D+H
ckTq08CJ16lQdSByNrKErpzwsWgYPiRUAXpohUkRQ4TRCV0BwosTX4Af34hz/1WR
ueCwxLYfMzybfX7R9Yzf0YPnIpPpD971lmu8S5x25CVludZTIlI2vFsb9pHTUX0X
69/W7joA1GNNgvFu2MT5w454eMjsP4N5U78O/BvPb4/6O+lGQ+DN7Kd6XnXcOv21
8gCPdeQDdQ1L4yTYIMEtLTOupn/hfn/1KBgXChoXOiEwwzLpBfxv/n8U1eV+y59r
u7ArILsN8A8ahBap/ruoPO+uttudi9bRgD+UH2YVaG13wYKOi5x39Nn8vVbF3V4R
1PiltkzR23JiMm8t0a7hVUpdzd1NCshTxqmVS/Fx3XIp5dT/xyI=
=tGlQ
-----END PGP SIGNATURE-----