kappa-agentsversion

Backends for an interactive use of the Kappa tool suite

AuthorsJean Krivine, Jérôme Feret, Pierre Boutillier, Ioana Cristescu, Mutaamba Maasha and Lý Kim Quyên
LicenseLGPL-3.0
Published
Homepagehttps://kappalanguage.org/
Issue Trackerhttps://github.com/Kappa-Dev/KappaTools/issues
MaintainerPierre Boutillier <pierre.boutillier@laposte.net>
Dependencies
Source [http] https://github.com/Kappa-Dev/KappaTools/archive/v4.1.tar.gz
sha256=f24a38f73a88f1b3d8137aa083bad8d76c679c4b6c59ec29e1567ad95bf1df13
sha512=6391d347817a8afc52f9ae121a5778c065cfb21800d462642a962e4c371dc3348e0e5d1c43cf2ab55e800538cff2e384f423343813d446f7353716ac7475df0d
StatisticsInstalled 7 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/kappa-agents/kappa-agents.4.1.0/opam
Required by