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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.10.0-1
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:
 ea1cc64e777ea4aa23d4f58be9a9ee731c70d8f1 34396 coq-simple-io_1.10.0.orig.tar.gz
 d98741069e506e56bddfb6c730c1b90d7c94df87 2660 coq-simple-io_1.10.0-1.debian.tar.xz
Checksums-Sha256:
 f44bd147e3a4e724ee77e47fc7bd7da0cc6b8a4cdf63633cc1c35ce21b91e3aa 34396 coq-simple-io_1.10.0.orig.tar.gz
 87712add477c6b2b1e946eca27b95dfecbf8a95934ceb8061796bb51c4563a91 2660 coq-simple-io_1.10.0-1.debian.tar.xz
Files:
 9acde8dbaf64bfd7ff9d2b0333747b79 34396 coq-simple-io_1.10.0.orig.tar.gz
 79c4b4f647f1293781cb3ff5c4600fdb 2660 coq-simple-io_1.10.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9sg0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRjPYP/jQC3cjqrG+zXZTILMaoo6rW/CTw5xuW
zo3RfMOa52QUzfFk5Rq6sP3bA6Y3P7MoD5yn8u9aXSh6wvMW3uO52ZJySXZlL6gs
RNjbmUnTdZndP28v0F/Flk7nwpH08lkh101Gfv+IlXHn+SFg4F1DNfHy9ln90uzY
Cbcu5yxUKKiGuLK0joZTZohUb4j7ZG8kBJ61I1beeOXr7OWLPrduOww4CyH6IMnv
fx4SfJEuqLizWAy9V4PDYZeS9Cr6he1Vp1xHZ9MGxVxBGceq1+CTcVZOSlNGMq9Z
Gt6J7jteNyRI8Xc6pdaAT2+wU6pM8pL1cX898m7Oy59JavidTaAGlVDdQ/6TFCvm
lwZV26jGPD15NDlnukqdlbSZpmUTid5ci7WA6ELlyZ2c3zIZ1Wn1MjX4j6fDEQTy
sdMjaX3c/fl8l8xQfywM02EVJYhiTXWlkcK43uNth5rdWScGFBh+lKh5hCm4bpSS
OKLM4R72JCKlb0upSbOx3n5Qn6nCgikVYyadVBnKpdJys4bmdwKmNdNWnvzToPvL
jo7X9tnMlEG6mgi8msV1VtX/4xtH7+4y/UU0naMH2yKe7ewjqq0k4/u5GODwNZtk
NNNuppM9kvNZN+aXgIlc1UWcATnLvX81Yk9swvnt/B2IEg03yOm0j4mtunY2knb5
Tg6uHpL26tRp
=CHey
-----END PGP SIGNATURE-----