package dscheck

  1. Overview
  2. Docs
Traced Atomics

Install 

dune-project
 Dependency

github.com Edit opam file Versions (6)

Authors

  1. S
    Sadiq Jaffer

Maintainers

  1. S
    Sadiq Jaffer

Sources

dscheck-0.5.0.tbz
sha256=f519b60e676f55e0a4800582be461d4138fde30994ec9918f142377d1788686d
sha512=08a4e5ac7a74dace04e1f146b23e5e270d1bc6b72d297155cf578ad3fcd6554bddc780353d9deef14334da5b98467332a57b4888b8cbf99f4b5ab814f97b53a6

Description

Published: 09 Jul 2024

Dependencies (6)

  1. cmdliner
  2. oseq
  3. tsort
  4. containers
  5. dune >= "3.9"
  6. ocaml >= "4.12.0"

Dev Dependencies (2)

  1. odoc with-doc
  2. alcotest >= "1.6.0" & with-test

Conflicts

None