this repo has no description
2 packages from ocaml-multicore/kcas at 0.7.0
+110
+54
packages/kcas/kcas.0.7.0/opam
+54
packages/kcas/kcas.0.7.0/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis:
4
+
"Software transactional memory based on lock-free multi-word compare-and-set"
5
+
description:
6
+
"A software transactional memory (STM) implementation based on an atomic lock-free multi-word compare-and-set (MCAS) algorithm enhanced with read-only compare operations and ability to block awaiting for changes."
7
+
maintainer: [
8
+
"Vesa Karvonen <vesa.a.j.k@gmail.com>"
9
+
"KC Sivaramakrishnan <kc@tarides.com>"
10
+
]
11
+
authors: [
12
+
"KC Sivaramakrishnan <kc@tarides.com>"
13
+
"Vesa Karvonen <vesa.a.j.k@gmail.com>"
14
+
]
15
+
license: "ISC"
16
+
homepage: "https://github.com/ocaml-multicore/kcas"
17
+
bug-reports: "https://github.com/ocaml-multicore/kcas/issues"
18
+
depends: [
19
+
"dune" {>= "3.14"}
20
+
"ocaml" {>= "4.13.0"}
21
+
"backoff" {>= "0.1.0"}
22
+
"domain-local-await" {>= "1.0.1"}
23
+
"domain-local-timeout" {>= "1.0.1"}
24
+
"multicore-magic" {>= "2.1.0"}
25
+
"domain_shims" {>= "0.1.0" & with-test}
26
+
"alcotest" {>= "1.7.0" & with-test}
27
+
"mdx" {>= "2.3.0" & with-test}
28
+
"sherlodoc" {>= "0.2" & with-doc}
29
+
"odoc" {>= "2.4.1" & with-doc}
30
+
]
31
+
build: [
32
+
["dune" "subst"] {dev}
33
+
[
34
+
"dune"
35
+
"build"
36
+
"-p"
37
+
name
38
+
"-j"
39
+
jobs
40
+
"@install"
41
+
"@runtest" {with-test}
42
+
"@doc" {with-doc}
43
+
]
44
+
]
45
+
dev-repo: "git+https://github.com/ocaml-multicore/kcas.git"
46
+
doc: "https://ocaml-multicore.github.io/kcas/doc/kcas/Kcas/"
47
+
url {
48
+
src:
49
+
"https://github.com/ocaml-multicore/kcas/archive/refs/tags/0.7.0.tar.gz"
50
+
checksum: [
51
+
"md5=f1dc3178e99f1af4680d6046b6449481"
52
+
"sha512=2cd0ab22d3f943c79483cbefd0251368663e883a0e3814507d5642ef7f00de5401781f509c3a4ceb1050843364749dab67f8c640ed43e836c442ce1d5bd58313"
53
+
]
54
+
}
+56
packages/kcas_data/kcas_data.0.7.0/opam
+56
packages/kcas_data/kcas_data.0.7.0/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis:
4
+
"Compositional lock-free data structures and primitives for communication and synchronization"
5
+
description:
6
+
"A library of compositional lock-free data structures and primitives for communication and synchronization implemented using kcas."
7
+
maintainer: [
8
+
"Vesa Karvonen <vesa.a.j.k@gmail.com>"
9
+
"KC Sivaramakrishnan <kc@tarides.com>"
10
+
]
11
+
authors: [
12
+
"KC Sivaramakrishnan <kc@tarides.com>"
13
+
"Vesa Karvonen <vesa.a.j.k@gmail.com>"
14
+
]
15
+
license: "ISC"
16
+
homepage: "https://github.com/ocaml-multicore/kcas"
17
+
bug-reports: "https://github.com/ocaml-multicore/kcas/issues"
18
+
depends: [
19
+
"dune" {>= "3.14"}
20
+
"kcas" {= version}
21
+
"multicore-magic" {>= "2.1.0"}
22
+
"backoff" {>= "0.1.0" & with-test}
23
+
"domain-local-await" {>= "1.0.1" & with-test}
24
+
"domain_shims" {>= "0.1.0" & with-test}
25
+
"multicore-bench" {>= "0.1.1" & with-test}
26
+
"alcotest" {>= "1.7.0" & with-test}
27
+
"qcheck-core" {>= "0.21.2" & with-test}
28
+
"qcheck-stm" {>= "0.3" & with-test}
29
+
"mdx" {>= "2.3.0" & with-test}
30
+
"sherlodoc" {>= "0.2" & with-doc}
31
+
"odoc" {>= "2.4.1" & with-doc}
32
+
]
33
+
build: [
34
+
["dune" "subst"] {dev}
35
+
[
36
+
"dune"
37
+
"build"
38
+
"-p"
39
+
name
40
+
"-j"
41
+
jobs
42
+
"@install"
43
+
"@runtest" {with-test}
44
+
"@doc" {with-doc}
45
+
]
46
+
]
47
+
dev-repo: "git+https://github.com/ocaml-multicore/kcas.git"
48
+
doc: "https://ocaml-multicore.github.io/kcas/doc/kcas_data/Kcas_data/"
49
+
url {
50
+
src:
51
+
"https://github.com/ocaml-multicore/kcas/archive/refs/tags/0.7.0.tar.gz"
52
+
checksum: [
53
+
"md5=f1dc3178e99f1af4680d6046b6449481"
54
+
"sha512=2cd0ab22d3f943c79483cbefd0251368663e883a0e3814507d5642ef7f00de5401781f509c3a4ceb1050843364749dab67f8c640ed43e836c442ce1d5bd58313"
55
+
]
56
+
}