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/KaSim/archive/v4.0.tar.gz
md5=894a517c7991f42100d2e957efc6cfa2
StatisticsInstalled 19 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/KaSim/KaSim.4.0.0/opam
No package is dependent