Opam Package kappa-server.4.1.0

Package info

opam-namekappa-server
opam-version4.1.0
synopsisHTTP server delivering the Kappa tool suite capabilities
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 (6)
revdeps(0)
metas (1)
libraries(0)

Package modules

Package sources

kappa-server

Package files

lib/kappa-server/opam
lib/kappa-server/dune-package
lib/kappa-server/META
lib/kappa-server
doc/kappa-server/README.md
doc/kappa-server/CHANGES.md
doc/kappa-server
bin/WebSim