Package: libcoq-simple-io
Architecture: amd64
Version: 1.9.0-2build3
Priority: optional
Section: universe/ocaml
Source: coq-simple-io
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1131
Provides: libcoq-simple-io-n7wd2
Depends: libcoq-ext-lib-uxa90, libcoq-stdlib-dksn3
Filename: pool/universe/c/coq-simple-io/libcoq-simple-io_1.9.0-2build3_amd64.deb
Size: 273792
MD5sum: e47ece3a8ebfc7804eee1bb381d4625a
SHA1: e55d21ee551c124adeb21f08ec406a6f70d3f809
SHA256: 73d3dbd530158588932f4809406e07bf8bc83d35f09d1e99737f1d24bccfcd7e
SHA512: c75709e1bae7fcfe3bebc8621f0d5506bd208e94122e34ca2de895b53158cec20db6dc2af1e82b7a3e93bbd6b12ac10378fab891522424419c5f399f608da814
Homepage: https://github.com/coq-community/coq-simple-io
Description: Coq plugin for purely functional IO
Description-md5: 203327b966ea6f97a884c7e5a945d270