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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.8.0-2
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-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
 53c555f2d807882843f5797b11e0d4c40497dafc 2056 coq-simple-io_1.8.0-2.debian.tar.xz
Checksums-Sha256:
 f5eca4f0d5f66f51ba36290cb6498c6244a9f4c757d07df4f24ea00bbbbe1e33 32939 coq-simple-io_1.8.0.orig.tar.gz
 f6b3c5605b198e9b13c2fff3d673f0bb29304948b286355466c000f524310455 2056 coq-simple-io_1.8.0-2.debian.tar.xz
Files:
 73ba8ebe3e844ed62c465405b2d946f6 32939 coq-simple-io_1.8.0.orig.tar.gz
 e98b979e87842a63e1134c5a7308549a 2056 coq-simple-io_1.8.0-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRHSsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRT7QQAJPxZzeTdoFgiUiAx2HcEjyJpbvzXL2r
c4gl9ukV/uEFNJzsqR0CqNNljDRfzz/1rTpZIX8hg9qvnQF/dwqAI3QGoDEP32Au
/7FNwVp1S95OsV3Jv65R1b8lrEdlAoUQadKw8msP9WRF+8zFpMXmbdli7yuVad4X
LUYR8IGOtfIm8TM4dpKrRTIJNcV3gGA8b4jWoeHvhsc+FT1B10eyyCPdq9PZmcnt
tXlU+bIVcqcBMZK/0HVRrs10IRZYN4ruSNpQYHwnJuZgE0sJtH0JhifC4x09DXA1
0AYsZRJqgx+xcHIv4F+P3I2eUkYQ5JpNDCNbhUDC8pDe/O7bU0JnXDD3mJe8Noae
ZS1YqJjykkwSZz/qu9906XNEGJo9VrCxx0Ybw7HjTKgO8ThTnX0Udw5q3QpUVqKP
PetD1LQJwy4NoeOIMt8gisy/oSrAMnsgxGewDAyFd4aVPpmdllWRxYNdAVF/c6El
7bBxLNUu/L0wL5RiyEy2zqrTXZrPCUVAxAD7PWmxNY1Q1ULANZ5zByfXr3qPhg9n
V4OntAHfMdCfG+PW28cdy1HtSGN6+obQVi7gpJ6jiOvYQjzM7ejHj19VPPXn1Zck
PaeovUvP+j3Up92MHZNnDGrsvLBpTlxZtJcbwPVSpUsuKInc5G54Cl1MxpAp6FDz
KNM3EZNbJS5h
=3bXt
-----END PGP SIGNATURE-----