Package: libcoq-simple-io
Architecture: amd64
Version: 1.8.0-4ubuntu4
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: 715
Provides: libcoq-simple-io-2kjn1
Depends: libcoq-ext-lib-l4av0, libcoq-stdlib-eg0o0
Filename: pool/universe/c/coq-simple-io/libcoq-simple-io_1.8.0-4ubuntu4_amd64.deb
Size: 98068
MD5sum: 90f12abb6bc2b8a037bcead357013c7c
SHA1: 21485c9acf6418f90d226a411bc51707ca05cdbe
SHA256: 5e7f09cabcf436b0809a864a98268f2ce5c73917b8297287e454b7d14cc8638d
SHA512: 6d4832f1a6c87a66ffd909caeb044df1f0bb65d3fcd1cf8c2aa78cf515092a3aef5382f297b90424bc3127884f5d23e5826ab8e041761f0ecb5cd77d4829c736
Homepage: https://github.com/coq-community/coq-simple-io
Description: Coq plugin for purely functional IO
Description-md5: 203327b966ea6f97a884c7e5a945d270