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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.11.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:
 8ab9aa23aabbec6a24c72e5951cb76ad978681a9 35489 coq-simple-io_1.11.0.orig.tar.gz
 53686309a3411107936da346d8b2be97d80055ee 2676 coq-simple-io_1.11.0-1.debian.tar.xz
Checksums-Sha256:
 d58ce82b72f1d5b5010bbe04ca1f68dc93d9afb4902aa59b0b2cc7a5abd4fb8f 35489 coq-simple-io_1.11.0.orig.tar.gz
 71c68010951ba9e8c3d8b26a426febe9d02a98d43403314c5874998e06f876b2 2676 coq-simple-io_1.11.0-1.debian.tar.xz
Files:
 149a38aa56a849082b3aeee8af7d1deb 35489 coq-simple-io_1.11.0.orig.tar.gz
 5f195df296c507c8c07c6fa425f7e853 2676 coq-simple-io_1.11.0-1.debian.tar.xz


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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmfZZO0ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFURIOD/wKtC3lPE/DWkrzln2OqdXb
354ouf5iOU3z5q//ItCSNzwxrMglRCc3JqY59gVJyYHzD36q+K8wgyckOu1/RfiM
X9MlYQgw/3Nj3FDkfHqloO5g4ZoUUZgKFSMrI0WSVpxuUZrfDqdiyyrr9w7MdxSf
Meyvzn5iPJKaaowbIiyS69Z9ypjT8Kvh2M402RNlGp/lsRCxa3I/hhPLCZYVUigP
pVJf7iMMeB2MznvUBAgOs5/BHgId8futNn0K9fSQ3miD/QzBuMrv2ssJ6PV9BjSg
+cy8f18q/M0uKu+f1CKSYqkuI8kSCwaqWTr5tHwsprkbqb0U7Y48vF+hGuYsREwo
0H29o9Xg3KoyxJV2IAiQ01kzSsS/r6aCwYgXhnapxw7YXVTiZFv/bQZ198mocrMf
YiDOjxkmzw1Uf/WPSkTQSOstCSQLfPL+/4hVy2Z4plZLgq8VF66qp5kPqp3JTk5B
m9+C8LlvRl1BeD6Dh8+3TDMxaUCVgGSk9ucKNAemrrbiORZclUYX4cAjwkH0xwiv
3+RgOofBmZ3g7Vkei8O7uJyFHL6+48EVy06wX6sYuHH4UDdufFanYZymJH8OcX+i
IV2MGCciYtH7pGRJKYHSzhqUQHs5kSA2qnMh1wyDSmxDctD1GYRBKpG+ZoQp36wf
Df6mXad3Gy1Y91/Rqm7fNQ==
=RBbu
-----END PGP SIGNATURE-----