(lang dune 3.9)

(generate_opam_files true)

(name dscheck)
(version 0.6.0)

(source
 (github ocaml-multicore/dscheck))

(license ISC)

(authors "Sadiq Jaffer")

(maintainers "Sadiq Jaffer")

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