logtk

Logic Toolkit
Description

Maintenance release, updated to be compatible with more recent version of the libraries.

Install
Published
13 Jan 2017
Sources
0.8.1.tar.gz
md5=4d20e91b06d20a256d5939ac0c0fec68
Dependencies
sequence
>= "0.6" & < "1.0"
containers
>= "0.22.1" & < "1.0"
ocaml
>= "4.01.0" & < "4.06.0"
Reverse Dependencies