| Authors | Jean Krivine, Jérôme Feret, Pierre Boutillier, Ioana Cristescu, Mutaamba Maasha and Lý Kim Quyên |
|---|
| License | LGPL-3.0 |
|---|
| Homepage | http://dev.executableknowledge.org/ |
|---|
| Issue Tracker | https://github.com/Kappa-Dev/KaSim/issues |
|---|
| Maintainer | Pierre Boutillier <pierre.boutillier@laposte.net> |
|---|
| Dependencies | |
|---|
| Optional dependencies | |
|---|
| Available | ocaml-version >= "4.02.3" |
|---|
| Published | Mar 30, 2018 |
|---|
| Source [http] | https://github.com/Kappa-Dev/KaSim/archive/v4.0.tar.gz
894a517c7991f42100d2e957efc6cfa2 |
|---|
| Statistics | Installed 4 times last month. |
|---|
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/KaSim/KaSim.4.0.0/opam |
|---|
