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

Format: 3.0 (quilt)
Source: coq-simple-io
Binary: libcoq-simple-io
Architecture: any
Version: 1.9.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.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:
 bc09666f5e98ca9007aed6e0ef1de5d7145c107d 34147 coq-simple-io_1.9.0.orig.tar.gz
 701b6e5beda273855f4d20718f341e45fff71485 2644 coq-simple-io_1.9.0-2.debian.tar.xz
Checksums-Sha256:
 6eff165a47b1fb0e1206ef44599b000130109ab17623d69edef549b0fa6940f2 34147 coq-simple-io_1.9.0.orig.tar.gz
 fe2680394789c1969050cf0e1830a95a06d19e71f753763bf358b38ce98397dc 2644 coq-simple-io_1.9.0-2.debian.tar.xz
Files:
 e1bdd50e4d848eaccf2ed0f2bb146e23 34147 coq-simple-io_1.9.0.orig.tar.gz
 e7ec3126f2718f774f8866b55cb60cbf 2644 coq-simple-io_1.9.0-2.debian.tar.xz
Dgit: 1fccbd6223c801134ec01a7a8f5bbb99ec18d3a7 debian archive/debian/1.9.0-2 https://git.dgit.debian.org/coq-simple-io

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmavDPMSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCB97QH/RdM1/0pqE/E9d4OvWPendfQmtvCR+dl
43CLxIwr0KJ6f5OxWsXkT3W6tAQ6/NVsvYp6MuRMnDNm3ejqQpsL7NMQATEjFOx6
53NuM9O3v179hnlLddJNeYmzcx+59VRW8FgS3pojX1Q204qxI/2SI2mqdtPoduiE
MNsQ10jT4eER+gStI7caIRqFQeNySiyUfCh+FtWf/GMeT7UTKr24oxbpEYJlaAvK
cc+cVojOUBEv4V8SkacwEqy4o/o8LCkpeJrHA0l32mFs6YQK1V4tdMdu5ps/wj/o
BimE8uPfT6jcvSOyJgTi3phyUTXLPqdhuiy2MpLUkHscH6yLdv9KSFE=
=hxWi
-----END PGP SIGNATURE-----