Require domain-local-await 0.2.0

polytypic · polytypic · commit f13d9bd0ed78 · 2023-06-13T10:05:23.000+03:00
DLA 0.2.0 fixes a bug and slightly simplifies the interface.
diff --git a/dune-project b/dune-project
@@ -10,7 +10,7 @@
  (synopsis "Software transactional memory based on lock-free multi-word compare-and-set")
  (depends 
   (ocaml (>= 5.0))
-  (domain-local-await (>= 0.1.0))
+  (domain-local-await (>= 0.2.0))
   (mdx (and (>= 1.10.0) :with-test))))
 (package (name kcas_data)
  (synopsis "Compositional lock-free data structures and primitives for communication and synchronization")
diff --git a/kcas.opam b/kcas.opam
@@ -10,7 +10,7 @@ bug-reports: "https://github.com/ocaml-multicore/kcas/issues"
 depends: [
   "dune" {>= "3.3"}
   "ocaml" {>= "5.0"}
-  "domain-local-await" {>= "0.1.0"}
+  "domain-local-await" {>= "0.2.0"}
   "mdx" {>= "1.10.0" & with-test}
   "odoc" {with-doc}
 ]

Original file line number	Diff line number	Diff line change
`@@ -10,7 +10,7 @@ bug-reports: "https://github.com/ocaml-multicore/kcas/issues"`
`10`	`10`	`depends: [`
`11`	`11`	`"dune" {>= "3.3"}`
`12`	`12`	`"ocaml" {>= "5.0"}`
`13`		`- "domain-local-await" {>= "0.1.0"}`
	`13`	`+ "domain-local-await" {>= "0.2.0"}`
`14`	`14`	`"mdx" {>= "1.10.0" & with-test}`
`15`	`15`	`"odoc" {with-doc}`
`16`	`16`	`]`