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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.8.0-3
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
 18154cacc0e8e3713dfc042ad462864ebc38451c 2172 coq-simple-io_1.8.0-3.debian.tar.xz
Checksums-Sha256:
 f5eca4f0d5f66f51ba36290cb6498c6244a9f4c757d07df4f24ea00bbbbe1e33 32939 coq-simple-io_1.8.0.orig.tar.gz
 434ee50df1148d3788b409a5afa8cc7fce77d13847c0e73adc218ba6e5dbdca4 2172 coq-simple-io_1.8.0-3.debian.tar.xz
Files:
 73ba8ebe3e844ed62c465405b2d946f6 32939 coq-simple-io_1.8.0.orig.tar.gz
 7d38b3eaf3f292d9e55c05e32191dde5 2172 coq-simple-io_1.8.0-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSH+goSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRBG8P/A4NUmiaaa9+uhtgwzhMZxaEzeme8mFi
LD5yiaP6/gcRHVBxStZ2xvg6GhzutLSWJnVnDOIrvqtcku2DOh2gsWH1TrqjA9SM
10d9IdV8j6q69CJmaQzmzmE40rMzu2Rm9AoFNg/kRncDd9A2z1ft8ehCp8aowL+r
I7HVRjvPDQaYwzaVzkBm9y68fY3l+x1xnU9S83G37zwvmY2MUONEW4rWS31fq7Sc
hkUdZx+nfibA/zaZT+XWv+K3/SX5aB1In3nrrwuOxSlOXhcPyh5hLaMZ9K+2B6cy
rJYpyQWBARuahEYgZ7TJUlQjelfZ4h1fe9Im38Aqh+T6aUpIFV4k5y8lKqOaWWU9
cwKEMOs58cOGX3fAYSL+NqfrU0fQ8ad4sUsltmXV0mpO1QXfewnHqtZH9r7NBCgm
u8wmkCHo0p1uQvhCcRWCwSlPsHvNdDB03NmxyuB11NbV4Z2Nrh0u2PATIHlUhOVO
df5DMm6aFzV4SrK9QAZIynQqFQrsYLuzpUDnjMYI2KNcZJobkrMc8lZ8nOn0MPZo
BNMzcHTgayx19MGJuQ4UlCrZkkiMGGo43pxiIFNZfjT6kLWl/N5k8pf9IPZjq80G
bI1HbRKr8ij0FnPFkDOjnR9hhJZdnbkGZAAIqI8BlcF/zhysFhG4t+FbLa9PG9Pe
LwyTAzehy/JI
=UCYK
-----END PGP SIGNATURE-----