Artifact libdscheck-ocaml-dev_0.5.0-2_amd64

deb_control_files:
- control
- md5sums
deb_fields:
  Architecture: amd64
  Depends: libcontainers-ocaml-dev-5iq37, liboseq-ocaml-dev-z9498, libstdlib-ocaml-dev-7l663,
    ocaml-5.2.0
  Description: |-
    model checker for testing concurrent programs
     Experimental model checker for testing concurrent programs.
     DSCheck exploers interleavings of a user-provided program
     and helps ensure that its invariants are maintained
     regardless of scheduling decisions.
  Homepage: https://github.com/ocaml-multicore/dscheck
  Installed-Size: '638'
  Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
  Package: libdscheck-ocaml-dev
  Priority: optional
  Provides: libdscheck-ocaml-dev-3tpz4
  Section: ocaml
  Source: ocaml-dscheck
  Version: 0.5.0-2
srcpkg_name: ocaml-dscheck
srcpkg_version: 0.5.0-2