(lang dune 3.9)

(generate_opam_files true)

(name dscheck)
(version 0.5.0)

(source
 (github ocaml-multicore/dscheck))

(license ISC)

(authors "Sadiq Jaffer")

(maintainers "Sadiq Jaffer")

(package
 (name dscheck)
 (synopsis "Traced Atomics")
 (allow_empty)
 (depends
  (ocaml
   (>= 4.12.0))
  dune
  containers
  tsort
  oseq
  (alcotest
   (and
    (>= 1.6.0)
    :with-test))
  cmdliner))
