kappa-binariesversion

Command line interfaces of the Kappa tool suite. Use this package if you want the CLI kappa tools

AuthorsJean Krivine, Jérôme Feret, Pierre Boutillier, Ioana Cristescu, Mutaamba Maasha, Lý Kim Quyên and Antoine Pouille
LicenseLGPL-3.0-only
Published
Homepagehttps://kappalanguage.org/
Issue Trackerhttps://github.com/Kappa-Dev/KappaTools/issues
MaintainersAntoine Pouille <antoine.a.pouille@inria.fr> and Jérôme Feret <jerome.feret@info.ens.psl.eu>
Dependencies
Optional dependencies
Source [http] https://github.com/Kappa-Dev/KappaTools/archive/refs/tags/v4.1.3.tar.gz
md5=1c9a8a0d79f085757817f90834e166f5
sha512=13ac40442940ba6e72d7dc5bf952e67443872f7bff63e9c76a3a699a6904c88696047fe04519b7ec6546371642f6ee7b0983117be302694aca15500b0df40de3
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/kappa-binaries/kappa-binaries.4.1.3/opam
No package is dependent