this repo has no description
Merge pull request #20927 from c-cube/opam-publish-catapult-catapult-client-catapult-daemon-catapult-file-catapult-sqlite.0.1
5 packages from AestheticIntegration/catapult at 0.1
authored by
Marcello Seri
and committed by
GitHub
75f69f20
257f9ce1
+182
+36
packages/catapult-client/catapult-client.0.1/opam
+36
packages/catapult-client/catapult-client.0.1/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Network client for catapult, to be paired with catapult-daemon"
3
+
maintainer: ["simon@imandra.ai"]
4
+
authors: ["simon@imandra.ai"]
5
+
license: "MIT"
6
+
homepage: "https://github.com/AestheticIntegration/catapult"
7
+
bug-reports: "https://github.com/AestheticIntegration/catapult/issues"
8
+
depends: [
9
+
"dune" {>= "2.0"}
10
+
"catapult" {= version}
11
+
"odoc" {with-doc}
12
+
"zmq" {>= "5.0"}
13
+
"ocaml" {>= "4.08"}
14
+
]
15
+
build: [
16
+
["dune" "subst"] {dev}
17
+
[
18
+
"dune"
19
+
"build"
20
+
"-p"
21
+
name
22
+
"-j"
23
+
jobs
24
+
"@install"
25
+
"@runtest" {with-test}
26
+
"@doc" {with-doc}
27
+
]
28
+
]
29
+
dev-repo: "git+https://github.com/AestheticIntegration/catapult.git"
30
+
url {
31
+
src: "https://github.com/AestheticIntegration/catapult/archive/v0.1.tar.gz"
32
+
checksum: [
33
+
"md5=a7bfa27c3ddd2d29c27173de09293149"
34
+
"sha512=49766ea38c57734918debd6218d95c62f11eb12a6fd3ef5f6a2c60344cea7c274436a46fab1e48abbe0d3f125f31705d2005ab7cae9e56d5f41778c1d2943d65"
35
+
]
36
+
}
+37
packages/catapult-daemon/catapult-daemon.0.1/opam
+37
packages/catapult-daemon/catapult-daemon.0.1/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Daemon for reliable multi-process logging with catapult"
3
+
maintainer: ["simon@imandra.ai"]
4
+
authors: ["simon@imandra.ai"]
5
+
license: "MIT"
6
+
homepage: "https://github.com/AestheticIntegration/catapult"
7
+
bug-reports: "https://github.com/AestheticIntegration/catapult/issues"
8
+
depends: [
9
+
"dune" {>= "2.0"}
10
+
"odoc" {with-doc}
11
+
"catapult" {= version}
12
+
"catapult-sqlite" {= version}
13
+
"zmq" {>= "5.0"}
14
+
"logs" {>= "0.7"}
15
+
]
16
+
build: [
17
+
["dune" "subst"] {dev}
18
+
[
19
+
"dune"
20
+
"build"
21
+
"-p"
22
+
name
23
+
"-j"
24
+
jobs
25
+
"@install"
26
+
"@runtest" {with-test}
27
+
"@doc" {with-doc}
28
+
]
29
+
]
30
+
dev-repo: "git+https://github.com/AestheticIntegration/catapult.git"
31
+
url {
32
+
src: "https://github.com/AestheticIntegration/catapult/archive/v0.1.tar.gz"
33
+
checksum: [
34
+
"md5=a7bfa27c3ddd2d29c27173de09293149"
35
+
"sha512=49766ea38c57734918debd6218d95c62f11eb12a6fd3ef5f6a2c60344cea7c274436a46fab1e48abbe0d3f125f31705d2005ab7cae9e56d5f41778c1d2943d65"
36
+
]
37
+
}
+35
packages/catapult-file/catapult-file.0.1/opam
+35
packages/catapult-file/catapult-file.0.1/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "File logger for catapult"
3
+
maintainer: ["simon@imandra.ai"]
4
+
authors: ["simon@imandra.ai"]
5
+
license: "MIT"
6
+
homepage: "https://github.com/AestheticIntegration/catapult"
7
+
bug-reports: "https://github.com/AestheticIntegration/catapult/issues"
8
+
depends: [
9
+
"dune" {>= "2.0"}
10
+
"catapult" {= version}
11
+
"odoc" {with-doc}
12
+
"ocaml" {>= "4.08"}
13
+
]
14
+
build: [
15
+
["dune" "subst"] {dev}
16
+
[
17
+
"dune"
18
+
"build"
19
+
"-p"
20
+
name
21
+
"-j"
22
+
jobs
23
+
"@install"
24
+
"@runtest" {with-test}
25
+
"@doc" {with-doc}
26
+
]
27
+
]
28
+
dev-repo: "git+https://github.com/AestheticIntegration/catapult.git"
29
+
url {
30
+
src: "https://github.com/AestheticIntegration/catapult/archive/v0.1.tar.gz"
31
+
checksum: [
32
+
"md5=a7bfa27c3ddd2d29c27173de09293149"
33
+
"sha512=49766ea38c57734918debd6218d95c62f11eb12a6fd3ef5f6a2c60344cea7c274436a46fab1e48abbe0d3f125f31705d2005ab7cae9e56d5f41778c1d2943d65"
34
+
]
35
+
}
+37
packages/catapult-sqlite/catapult-sqlite.0.1/opam
+37
packages/catapult-sqlite/catapult-sqlite.0.1/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Sqlite-based backend for Catapult tracing"
3
+
maintainer: ["simon@imandra.ai"]
4
+
authors: ["simon@imandra.ai"]
5
+
license: "MIT"
6
+
homepage: "https://github.com/AestheticIntegration/catapult"
7
+
bug-reports: "https://github.com/AestheticIntegration/catapult/issues"
8
+
depends: [
9
+
"dune" {>= "2.0"}
10
+
"sqlite3" {>= "5.0"}
11
+
"directories"
12
+
"catapult" {= version}
13
+
"odoc" {with-doc}
14
+
"ocaml" {>= "4.08"}
15
+
]
16
+
build: [
17
+
["dune" "subst"] {dev}
18
+
[
19
+
"dune"
20
+
"build"
21
+
"-p"
22
+
name
23
+
"-j"
24
+
jobs
25
+
"@install"
26
+
"@runtest" {with-test}
27
+
"@doc" {with-doc}
28
+
]
29
+
]
30
+
dev-repo: "git+https://github.com/AestheticIntegration/catapult.git"
31
+
url {
32
+
src: "https://github.com/AestheticIntegration/catapult/archive/v0.1.tar.gz"
33
+
checksum: [
34
+
"md5=a7bfa27c3ddd2d29c27173de09293149"
35
+
"sha512=49766ea38c57734918debd6218d95c62f11eb12a6fd3ef5f6a2c60344cea7c274436a46fab1e48abbe0d3f125f31705d2005ab7cae9e56d5f41778c1d2943d65"
36
+
]
37
+
}
+37
packages/catapult/catapult.0.1/opam
+37
packages/catapult/catapult.0.1/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Tracing system based on the Catapult/TEF format"
3
+
maintainer: ["simon@imandra.ai"]
4
+
authors: ["simon@imandra.ai"]
5
+
license: "MIT"
6
+
homepage: "https://github.com/AestheticIntegration/catapult"
7
+
bug-reports: "https://github.com/AestheticIntegration/catapult/issues"
8
+
depends: [
9
+
"dune" {>= "2.0"}
10
+
"base-threads"
11
+
"base-unix"
12
+
"odoc" {with-doc}
13
+
"ocaml" {>= "4.08"}
14
+
]
15
+
depopts: ["mtime"]
16
+
build: [
17
+
["dune" "subst"] {dev}
18
+
[
19
+
"dune"
20
+
"build"
21
+
"-p"
22
+
name
23
+
"-j"
24
+
jobs
25
+
"@install"
26
+
"@runtest" {with-test}
27
+
"@doc" {with-doc}
28
+
]
29
+
]
30
+
dev-repo: "git+https://github.com/AestheticIntegration/catapult.git"
31
+
url {
32
+
src: "https://github.com/AestheticIntegration/catapult/archive/v0.1.tar.gz"
33
+
checksum: [
34
+
"md5=a7bfa27c3ddd2d29c27173de09293149"
35
+
"sha512=49766ea38c57734918debd6218d95c62f11eb12a6fd3ef5f6a2c60344cea7c274436a46fab1e48abbe0d3f125f31705d2005ab7cae9e56d5f41778c1d2943d65"
36
+
]
37
+
}