{
  lib,
  buildDunePackage,
  fetchurl,
  ocaml,
  domain-local-await,
  domain-local-timeout,
  alcotest,
  multicore-magic,
  backoff,
  domain_shims,
  mdx,
}:

buildDunePackage rec {
  pname = "kcas";
  version = "0.7.0";

  src = fetchurl {
    url = "https://github.com/ocaml-multicore/kcas/releases/download/${version}/kcas-${version}.tbz";
    hash = "sha256-mo/otnkB79QdyVgLw1sZFfkR/Z/l15cRVfEYPPd6H5E=";
  };

  propagatedBuildInputs = [
    domain-local-await
    domain-local-timeout
    multicore-magic
    backoff
  ];

  doCheck = lib.versionAtLeast ocaml.version "5.1" && !lib.versionAtLeast ocaml.version "5.4";
  nativeCheckInputs = [ mdx.bin ];
  checkInputs = [
    alcotest
    domain_shims
    mdx
  ];

  meta = {
    homepage = "https://github.com/ocaml-multicore/kcas";
    description = "STM based on lock-free MCAS";
    longDescription = ''
      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.
    '';
    changelog = "https://raw.githubusercontent.com/ocaml-multicore/kcas/refs/tags/${version}/CHANGES.md";
    license = lib.licenses.isc;
    maintainers = [ lib.maintainers.vbgl ];
  };
}