kappa-binariesversion
Command line interfaces of the Kappa tool suite
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 | https://kappalanguage.org/ |
Issue Tracker | https://github.com/Kappa-Dev/KappaTools/issues |
Maintainer | Pierre Boutillier <pierre.boutillier@laposte.net> |
Dependencies |
|
Optional dependencies | |
Source [http] | https://github.com/Kappa-Dev/KappaTools/archive/v4.1.tar.gz sha256=8ca79f1917e3b5b0e3606547d8be374321f8eb68dfbe62e805339ac82bc89fd1 sha512=7c944f27fd2b6752e48e2731b9217954b1f1624b30a5439ab00881d1def5b75aafb044051bdce858a1c766e407a888afeded831705b17fffc35bda02aae45eac |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/kappa-binaries/kappa-binaries.4.1.0/opam |
Required by