package coq-io-system-ocaml
Extraction to OCaml of system effects
Install
Dune Dependency
Authors
Maintainers
Sources
2.3.1.tar.gz
sha512=4914cc5bbf45d3bae178dd9514131994f0be35d8ae77fd18b55db91de36812f7bac3570a2001e5ed9ccf695f296909a92cf4cc1c8c0283768aa9d187754688c4
Description
Dependencies (5)
- num
-
ocamlfind
build -
ocamlbuild
build -
ocaml
>= "4.02.0" -
lwt
>= "2.4.7" & < "5"
Dev Dependencies
None
Used by (2)
-
coq-io-hello-world
>= "1.2.0" -
coq-io-system
!= "2.2.0"
Conflicts (1)
On This Page