package kappa-agents

  1. Overview
  2. No Docs
Backends for an interactive use of the Kappa tool suite

Install

Dune Dependency

Authors

Maintainers

Sources

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

Description

Published: 17 Sep 2020

Dependencies (5)

  1. atdgen build
  2. atdgen-runtime
  3. kappa-library = version
  4. dune >= "1.1"
  5. ocaml

Dev Dependencies

None

Used by (1)

  1. kappa-server

Conflicts

None

OCaml

Innovation. Community. Security.