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.1.1.tbz
sha256=192b0c7a3d1d48ba7b9a7884a7fb5406ad8b82094ca2f7aac87d3183aee9bcd4
sha512=88587787c9e7537061ae7cb19268a86eab88bfb3a749efd7e41ef4d5423495b1bbd23185e6e13ed3486f41b8bba6a16c01320a20b77567592739cceddf175584

Description

Published: 14 Mar 2023

Dependencies (4)

  1. oseq
  2. containers
  3. dune >= "2.9"
  4. ocaml >= "5.0.0"

Dev Dependencies (2)

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

Used by (2)

  1. eio >= "0.8.1"
  2. lockfree >= "0.3.0"

Conflicts

None