Package: libcoq-simple-io
Source: coq-simple-io
Version: 1.11.0-1build6
Architecture: amd64
Architecture-Variant: amd64v3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 1121
Depends: libcoq-ext-lib-lf564, libcoq-stdlib-80ha0
Provides: libcoq-simple-io-3muv1
Section: ocaml
Priority: optional
Homepage: https://github.com/coq-community/coq-simple-io
Description: Coq plugin for purely functional IO
 This package provides a plugin to implement
 Input/Output (IO) programs directly in Coq, in a
 style similar to Haskell's.
 .
 Coq is a proof assistant for higher-order logic.
