package kappa-agents
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)
-
atdgen
build - atdgen-runtime
-
kappa-library
= version -
dune
>= "1.1" - ocaml
Dev Dependencies
None
Used by (1)
Conflicts
None
On This Page