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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.11.0-1build3
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
 068999befaa578ebcd156214be3baee2f18ea8c9 2788 coq-simple-io_1.11.0-1build3.debian.tar.xz
Checksums-Sha256:
 d58ce82b72f1d5b5010bbe04ca1f68dc93d9afb4902aa59b0b2cc7a5abd4fb8f 35489 coq-simple-io_1.11.0.orig.tar.gz
 8b52cceea289b919b6fbd0078de6e635ea1c30f4f7d7ba6148777f4d6283e128 2788 coq-simple-io_1.11.0-1build3.debian.tar.xz
Files:
 149a38aa56a849082b3aeee8af7d1deb 35489 coq-simple-io_1.11.0.orig.tar.gz
 0bdc12bb50f50661d8536ccb34f7a197 2788 coq-simple-io_1.11.0-1build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml7s/gACgkQ808JdE6f
Xdl4yRAApj5CJBzfsIk3MExFbK936wQqR0O+1hsnW/+9ORBwBnksnaRVHLsUrgdf
ZvjZn0R31Q9HGsy0yGKdy4LsdXJ8Z3kC+Z07J24hbAln6TSvZTvXhuLFJ7ezyVm8
IOClCsNpwVLO09hG4LTgcUMwNm13zmn7GcWsUUzPNNUh7qvqV1fviNSM8i1iexYl
ZRX+s+nQAmMUW65Hby1dx2ww5GyfIUN6CV3tHEPs8vlu5Zpgp5SlNaPILjLQQjFU
yAX9Hw5ZJXriusxE6GGg8iBktHBc/9r0AlftQZhyQIzXHK2dzsXGmkPQb4+4GpTs
FCCQ3wX4WAWVyFj3LBDOKefB2127XZWvOCfrqsGgN8VOh1g7qYJf1W0JHSCszu1n
YnquofTf5m+/jgY+QpQSCn/RcC3lMIEwcQFeu8B/mdKQoXjS9i0bkk3Su7kRQqX6
5DYkypXS9/dKjK9d32EY59X3hDcegqiFoUms5rRtRsb8f/Dsz5BP7Bsu5FUCUTxD
2OlRafRLI8fIW7c2K2nhOQtyuDUg1G0MNIlQKTNM5RsM8ul3Hg3E71IMLnB4vFYI
T7D1Sexd/Ycn5IyNLiYyLESEXYxldL35CR4mDlnbsi7+3ihOvfrhibJrFo5Pms8G
7W/VzY8FzUI6DjgcgbgvnCp1CRr2IZgZMix4yDbB73PR/ajfE58=
=PHbE
-----END PGP SIGNATURE-----