package dscheck

  1. Overview
  2. Docs
Traced Atomics

Install

github.com Readme Changelog ISC License Edit opam file

Authors

  1. S
    Sadiq Jaffer

Maintainers

  1. S
    Sadiq Jaffer

Sources

dscheck-0.2.0.tbz
sha256=42091b9c3dc1d6538d83d53ad01336c5656022dea964d98e9b190acbe5091fd1
sha512=040f04a2a25bce42b7e3840914adc7486f13257cb339a1a29ae9bfeef63873aeef3ede245e95d0526472ebfc3af0b747132289c1296791606aef03ad245d211c

Description

Published: 19 Jul 2023

Dependencies (6)

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

Dev Dependencies (2)

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

Used by (4)

  1. eio >= "0.8.1"
  2. lockfree >= "0.3.0"
  3. saturn
  4. saturn_lockfree

Conflicts

None