KaSimversion

Software suite for the Kappa language

AuthorsJean Krivine, Jérôme Feret, Pierre Boutillier, Ioana Cristescu, Mutaamba Maasha and Lý Kim Quyên
LicenseLGPL-3.0
Published
Homepagehttp://dev.executableknowledge.org/
Issue Trackerhttps://github.com/Kappa-Dev/KaSim/issues
MaintainerPierre Boutillier <pierre.boutillier@laposte.net>
Dependencies
Optional dependencies
Conflicts
Source [http] https://github.com/Kappa-Dev/KappaTools/archive/v4.0.tar.gz
md5=2f9ee76a8aa8bf2ad6bbb37071759e59
StatisticsInstalled 6 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/KaSim/KaSim.4.0.0/opam
No package is dependent