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-only
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
sha256=5d925f9d4f1df324f1d2458ed10a81b10b45a7fb0e456ca13e38593d2f246015
md5=2f9ee76a8aa8bf2ad6bbb37071759e59
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/KaSim/KaSim.4.0.0/opam
No package is dependent