File: dune-project

package info (click to toggle)
ocaml-dscheck 0.5.0-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 292 kB
  • sloc: ml: 1,290; sh: 6; makefile: 3
file content (32 lines) | stat: -rw-r--r-- 396 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
(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))