(lang dune 3.21)
(name mrdt)

(generate_opam_files true)
(implicit_transitive_deps false)

(license ISC)
(authors "Thomas Gazagnaire <thomas@gazagnaire.org>")
(maintainers "Thomas Gazagnaire <thomas@gazagnaire.org>")

(source (tangled gazagnaire.org/ocaml-mrdt))

(package
 (name mrdt)
 (synopsis "Mergeable Replicated Data Types")
 (tags (org:blacksun storage))
 (description
  "Replicated data types with three-way merges: concurrent versions
reconcile against their lowest common ancestor, as in Git. Includes
counters, sets, queues and maps derived from the OOPSLA 2019 MRDT
relational specifications, and a replica layer that tracks the version
DAG and compacts history once every replica has acknowledged it.")
 (depends
  (ocaml (>= 5.2))
  (fmt (>= 0.9))
  (alcotest :with-test)
  (alcobar :with-test)
  (observe :with-test)))
