Opam Package kappa-binaries.4.1.0

Package info

opam-namekappa-binaries
opam-version4.1.0
synopsisCommand line interfaces of the Kappa tool suite
authors
  • Jean Krivine
  • Jérôme Feret
  • Pierre Boutillier
  • Ioana Cristescu
  • Mutaamba Maasha
  • Lý Kim Quyên
homepagehttps://kappalanguage.org/
licenseLGPL-3.0
changes-fileCHANGES.md
readme-fileREADME.md
deps (4)
revdeps (1)
metas (1)
libraries(0)

Package modules

Package sources

kappa-binaries

Package files

lib/kappa-binaries/opam
lib/kappa-binaries/dune-package
lib/kappa-binaries/META
lib/kappa-binaries
doc/kappa-binaries/README.md
doc/kappa-binaries/CHANGES.md
doc/kappa-binaries
bin/KaStor
bin/KaSim
bin/KaSa
bin/KaDE