Description

Published: 17 Sep 2020

Dependencies (6)

  1. atdgen build
  2. cohttp-lwt-unix
  3. kappa-agents = version
  4. kappa-binaries = version
  5. dune >= "1.1"
  6. ocaml

Reverse Dependencies

    None

Conflicts

    None
HTTP server delivering the Kappa tool suite capabilities

Install

Documentation failed to build. kappalanguage.org Edit opam file

Authors

  1. J
    Jean Krivine
  2. J
    Jérôme Feret
  3. P
    Pierre Boutillier
  4. I
    Ioana Cristescu
  5. M
    Mutaamba Maasha
  6. L
    Lý Kim Quyên

Maintainers

  1. P
    Pierre Boutillier <pierre.boutillier@laposte.net>

Sources

v4.1.tar.gz
sha256=8ca79f1917e3b5b0e3606547d8be374321f8eb68dfbe62e805339ac82bc89fd1
sha512=7c944f27fd2b6752e48e2731b9217954b1f1624b30a5439ab00881d1def5b75aafb044051bdce858a1c766e407a888afeded831705b17fffc35bda02aae45eac