package logtk
Logic Toolkit
Install
Dune Dependency
Authors
Maintainers
Sources
0.8.1.tar.gz
sha256=86b4ab9991422cccae272c3b71088f74e78022c8dfb44ef2dcabb83412c32bf8
md5=4d20e91b06d20a256d5939ac0c0fec68
Description
Maintenance release, updated to be compatible with more recent version of the libraries.
Dependencies (7)
- base-bytes
-
sequence
>= "0.6" & < "1.0" -
containers
>= "0.22.1" & < "1.0" - zarith
- base-unix
-
ocamlfind
build -
ocaml
>= "4.01.0" & < "4.06.0"
Dev Dependencies
None
Used by
None
On This Page