this repo has no description
anil.recoil.org
1opam-version: "2.0"
2
3maintainer: "Pierre Boutillier <pierre.boutillier@laposte.net>"
4authors: [
5 "Jean Krivine" "Jérôme Feret" "Pierre Boutillier"
6 "Ioana Cristescu" "Mutaamba Maasha" "Lý Kim Quyên"
7]
8license: "LGPL-3.0-only"
9homepage: "https://kappalanguage.org/"
10bug-reports: "https://github.com/Kappa-Dev/KappaTools/issues"
11dev-repo: "git+https://github.com/Kappa-Dev/KappaTools.git"
12
13depends : [
14 "ocaml"
15 "dune" {>= "1.1"}
16 "kappa-binaries" { = version }
17 "kappa-agents" { = version }
18 "cohttp-lwt-unix"
19 "atdgen" {build}
20]
21
22build: ["dune" "build" "-p" name "-j" jobs]
23
24synopsis:"HTTP server delivering the Kappa tool suite capabilities"
25
26url {
27 src: "https://github.com/Kappa-Dev/KappaTools/archive/v4.1.tar.gz"
28 checksum: [
29 "sha256=8ca79f1917e3b5b0e3606547d8be374321f8eb68dfbe62e805339ac82bc89fd1"
30 "sha512=7c944f27fd2b6752e48e2731b9217954b1f1624b30a5439ab00881d1def5b75aafb044051bdce858a1c766e407a888afeded831705b17fffc35bda02aae45eac"
31 ]
32}