KaSimversion
Software suite for the Kappa language
| Authors | Jean Krivine, Jérôme Feret, Pierre Boutillier, Ioana Cristescu, Mutaamba Maasha and Lý Kim Quyên |
|---|---|
| License | LGPL-3.0-only |
| Published | |
| Homepage | http://dev.executableknowledge.org/ |
| Issue Tracker | https://github.com/Kappa-Dev/KaSim/issues |
| Maintainer | Pierre 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 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/KaSim/KaSim.4.0.0/opam |
No package is dependent
