this repo has no description
3 packages from Kappa-Dev/KappaTools at 4.1.3
+189
+64
packages/kappa-agents/kappa-agents.4.1.3/opam
+64
packages/kappa-agents/kappa-agents.4.1.3/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis:
4
+
"Backends for an interactive use of the Kappa tool suite. Used by the kappa-webapp, probably not relevant else. Previously used by deprecated kappa-server"
5
+
maintainer: [
6
+
"Antoine Pouille <antoine.a.pouille@inria.fr>"
7
+
"Jérôme Feret <jerome.feret@info.ens.psl.eu>"
8
+
]
9
+
authors: [
10
+
"Jean Krivine"
11
+
"Jérôme Feret"
12
+
"Pierre Boutillier"
13
+
"Ioana Cristescu"
14
+
"Mutaamba Maasha"
15
+
"Lý Kim Quyên"
16
+
"Antoine Pouille"
17
+
]
18
+
license: "LGPL-3.0-only"
19
+
homepage: "https://kappalanguage.org/"
20
+
doc:
21
+
"https://kappalanguage.org/sites/kappalanguage.org/files/inline-files/Kappa_Manual.pdf"
22
+
bug-reports: "https://github.com/Kappa-Dev/KappaTools/issues"
23
+
depends: [
24
+
"dune" {>= "2.9"}
25
+
"ocaml" {>= "4.13.0" & < "5.0.0"}
26
+
"yojson" {= "2.1.0"}
27
+
"lwt" {= "5.7.0"}
28
+
"num" {= "1.5"}
29
+
"re" {= "1.11.0"}
30
+
"fmt" {= "0.9.0"}
31
+
"logs" {= "0.7.0"}
32
+
"atdgen" {= "2.15.0"}
33
+
"atdgen-runtime" {= "2.15.0"}
34
+
"kappa-library"
35
+
"result" {= "1.5"}
36
+
"stdlib-shims" {= "0.3.0"}
37
+
"camlp-streams" {= "5.0.1"}
38
+
"odoc" {with-doc}
39
+
]
40
+
build: [
41
+
["dune" "subst"] {dev}
42
+
[
43
+
"dune"
44
+
"build"
45
+
"-p"
46
+
name
47
+
"-j"
48
+
jobs
49
+
"--promote-install-files=false"
50
+
"@install"
51
+
"@runtest" {with-test}
52
+
"@doc" {with-doc}
53
+
]
54
+
["dune" "install" "-p" name "--create-install-files" name]
55
+
]
56
+
dev-repo: "git+https://github.com/Kappa-Dev/KappaTools.git"
57
+
url {
58
+
src:
59
+
"https://github.com/Kappa-Dev/KappaTools/archive/refs/tags/v4.1.3.tar.gz"
60
+
checksum: [
61
+
"md5=1c9a8a0d79f085757817f90834e166f5"
62
+
"sha512=13ac40442940ba6e72d7dc5bf952e67443872f7bff63e9c76a3a699a6904c88696047fe04519b7ec6546371642f6ee7b0983117be302694aca15500b0df40de3"
63
+
]
64
+
}
+64
packages/kappa-binaries/kappa-binaries.4.1.3/opam
+64
packages/kappa-binaries/kappa-binaries.4.1.3/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis:
4
+
"Command line interfaces of the Kappa tool suite. Use this package if you want the CLI kappa tools"
5
+
maintainer: [
6
+
"Antoine Pouille <antoine.a.pouille@inria.fr>"
7
+
"Jérôme Feret <jerome.feret@info.ens.psl.eu>"
8
+
]
9
+
authors: [
10
+
"Jean Krivine"
11
+
"Jérôme Feret"
12
+
"Pierre Boutillier"
13
+
"Ioana Cristescu"
14
+
"Mutaamba Maasha"
15
+
"Lý Kim Quyên"
16
+
"Antoine Pouille"
17
+
]
18
+
license: "LGPL-3.0-only"
19
+
homepage: "https://kappalanguage.org/"
20
+
doc:
21
+
"https://kappalanguage.org/sites/kappalanguage.org/files/inline-files/Kappa_Manual.pdf"
22
+
bug-reports: "https://github.com/Kappa-Dev/KappaTools/issues"
23
+
depends: [
24
+
"dune" {>= "2.9"}
25
+
"ocaml" {>= "4.13.0" & < "5.0.0"}
26
+
"yojson" {= "2.1.0"}
27
+
"lwt" {= "5.7.0"}
28
+
"num" {= "1.5"}
29
+
"re" {= "1.11.0"}
30
+
"fmt" {= "0.9.0"}
31
+
"logs" {= "0.7.0"}
32
+
"kappa-library"
33
+
"result" {= "1.5"}
34
+
"stdlib-shims" {= "0.3.0"}
35
+
"camlp-streams" {= "5.0.1"}
36
+
"odoc" {with-doc}
37
+
]
38
+
depopts: ["labltk"]
39
+
build: [
40
+
["dune" "subst"] {dev}
41
+
[
42
+
"dune"
43
+
"build"
44
+
"-p"
45
+
name
46
+
"-j"
47
+
jobs
48
+
"--promote-install-files=false"
49
+
"@install"
50
+
"@runtest" {with-test}
51
+
"@doc" {with-doc}
52
+
]
53
+
["dune" "install" "-p" name "--create-install-files" name]
54
+
]
55
+
dev-repo: "git+https://github.com/Kappa-Dev/KappaTools.git"
56
+
run-test: [ make "check" ]
57
+
url {
58
+
src:
59
+
"https://github.com/Kappa-Dev/KappaTools/archive/refs/tags/v4.1.3.tar.gz"
60
+
checksum: [
61
+
"md5=1c9a8a0d79f085757817f90834e166f5"
62
+
"sha512=13ac40442940ba6e72d7dc5bf952e67443872f7bff63e9c76a3a699a6904c88696047fe04519b7ec6546371642f6ee7b0983117be302694aca15500b0df40de3"
63
+
]
64
+
}
+61
packages/kappa-library/kappa-library.4.1.3/opam
+61
packages/kappa-library/kappa-library.4.1.3/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis:
4
+
"Public internals of the Kappa tool suite. Use this package to use kappa as a lib"
5
+
maintainer: [
6
+
"Antoine Pouille <antoine.a.pouille@inria.fr>"
7
+
"Jérôme Feret <jerome.feret@info.ens.psl.eu>"
8
+
]
9
+
authors: [
10
+
"Jean Krivine"
11
+
"Jérôme Feret"
12
+
"Pierre Boutillier"
13
+
"Ioana Cristescu"
14
+
"Mutaamba Maasha"
15
+
"Lý Kim Quyên"
16
+
"Antoine Pouille"
17
+
]
18
+
license: "LGPL-3.0-only"
19
+
homepage: "https://kappalanguage.org/"
20
+
doc:
21
+
"https://kappalanguage.org/sites/kappalanguage.org/files/inline-files/Kappa_Manual.pdf"
22
+
bug-reports: "https://github.com/Kappa-Dev/KappaTools/issues"
23
+
depends: [
24
+
"dune" {>= "2.9"}
25
+
"ocaml" {>= "4.13.0" & < "5.0.0"}
26
+
"yojson" {>= "2.0"}
27
+
"lwt" {>= "4.2.0"}
28
+
"num"
29
+
"re"
30
+
"fmt"
31
+
"logs"
32
+
"result"
33
+
"stdlib-shims"
34
+
"camlp-streams"
35
+
"odoc" {with-doc}
36
+
]
37
+
build: [
38
+
["dune" "subst"] {dev}
39
+
[
40
+
"dune"
41
+
"build"
42
+
"-p"
43
+
name
44
+
"-j"
45
+
jobs
46
+
"--promote-install-files=false"
47
+
"@install"
48
+
"@runtest" {with-test}
49
+
"@doc" {with-doc}
50
+
]
51
+
["dune" "install" "-p" name "--create-install-files" name]
52
+
]
53
+
dev-repo: "git+https://github.com/Kappa-Dev/KappaTools.git"
54
+
url {
55
+
src:
56
+
"https://github.com/Kappa-Dev/KappaTools/archive/refs/tags/v4.1.3.tar.gz"
57
+
checksum: [
58
+
"md5=1c9a8a0d79f085757817f90834e166f5"
59
+
"sha512=13ac40442940ba6e72d7dc5bf952e67443872f7bff63e9c76a3a699a6904c88696047fe04519b7ec6546371642f6ee7b0983117be302694aca15500b0df40de3"
60
+
]
61
+
}