Bug-Database: https://github.com/ocaml-multicore/dscheck/issues
Bug-Submit: https://github.com/ocaml-multicore/dscheck/issues/new
Changelog: https://github.com/ocaml-multicore/dscheck/blob/master/CHANGES.md
Documentation: https://github.com/ocaml-multicore/dscheck/blob/main/README.md
Repository-Browse: https://github.com/ocaml-multicore/dscheck
Repository: https://github.com/ocaml-multicore/dscheck.git
