Merge pull request #25345 from polytypic/opam-publish-kcas.0.7.0

2 packages from ocaml-multicore/kcas at 0.7.0

Author: mseri

packages/kcas/kcas.0.7.0/opam

@@ -0,0 +1,54 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis:
+  "Software transactional memory based on lock-free multi-word compare-and-set"
+description:
+  "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."
+maintainer: [
+  "Vesa Karvonen <vesa.a.j.k@gmail.com>"
+  "KC Sivaramakrishnan <kc@tarides.com>"
+]
+authors: [
+  "KC Sivaramakrishnan <kc@tarides.com>"
+  "Vesa Karvonen <vesa.a.j.k@gmail.com>"
+]
+license: "ISC"
+homepage: "https://github.com/ocaml-multicore/kcas"
+bug-reports: "https://github.com/ocaml-multicore/kcas/issues"
+depends: [
+  "dune" {>= "3.14"}
+  "ocaml" {>= "4.13.0"}
+  "backoff" {>= "0.1.0"}
+  "domain-local-await" {>= "1.0.1"}
+  "domain-local-timeout" {>= "1.0.1"}
+  "multicore-magic" {>= "2.1.0"}
+  "domain_shims" {>= "0.1.0" & with-test}
+  "alcotest" {>= "1.7.0" & with-test}
+  "mdx" {>= "2.3.0" & with-test}
+  "sherlodoc" {>= "0.2" & with-doc}
+  "odoc" {>= "2.4.1" & with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/ocaml-multicore/kcas.git"
+doc: "https://ocaml-multicore.github.io/kcas/doc/kcas/Kcas/"
+url {
+  src:
+    "https://github.com/ocaml-multicore/kcas/archive/refs/tags/0.7.0.tar.gz"
+  checksum: [
+    "md5=f1dc3178e99f1af4680d6046b6449481"
+    "sha512=2cd0ab22d3f943c79483cbefd0251368663e883a0e3814507d5642ef7f00de5401781f509c3a4ceb1050843364749dab67f8c640ed43e836c442ce1d5bd58313"
+  ]
+}

packages/kcas_data/kcas_data.0.7.0/opam

@@ -0,0 +1,56 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis:
+  "Compositional lock-free data structures and primitives for communication and synchronization"
+description:
+  "A library of compositional lock-free data structures and primitives for communication and synchronization implemented using kcas."
+maintainer: [
+  "Vesa Karvonen <vesa.a.j.k@gmail.com>"
+  "KC Sivaramakrishnan <kc@tarides.com>"
+]
+authors: [
+  "KC Sivaramakrishnan <kc@tarides.com>"
+  "Vesa Karvonen <vesa.a.j.k@gmail.com>"
+]
+license: "ISC"
+homepage: "https://github.com/ocaml-multicore/kcas"
+bug-reports: "https://github.com/ocaml-multicore/kcas/issues"
+depends: [
+  "dune" {>= "3.14"}
+  "kcas" {= version}
+  "multicore-magic" {>= "2.1.0"}
+  "backoff" {>= "0.1.0" & with-test}
+  "domain-local-await" {>= "1.0.1" & with-test}
+  "domain_shims" {>= "0.1.0" & with-test}
+  "multicore-bench" {>= "0.1.1" & with-test}
+  "alcotest" {>= "1.7.0" & with-test}
+  "qcheck-core" {>= "0.21.2" & with-test}
+  "qcheck-stm" {>= "0.3" & with-test}
+  "mdx" {>= "2.3.0" & with-test}
+  "sherlodoc" {>= "0.2" & with-doc}
+  "odoc" {>= "2.4.1" & with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/ocaml-multicore/kcas.git"
+doc: "https://ocaml-multicore.github.io/kcas/doc/kcas_data/Kcas_data/"
+url {
+  src:
+    "https://github.com/ocaml-multicore/kcas/archive/refs/tags/0.7.0.tar.gz"
+  checksum: [
+    "md5=f1dc3178e99f1af4680d6046b6449481"
+    "sha512=2cd0ab22d3f943c79483cbefd0251368663e883a0e3814507d5642ef7f00de5401781f509c3a4ceb1050843364749dab67f8c640ed43e836c442ce1d5bd58313"
+  ]
+}