Package: libdscheck-ocaml-dev
Source: ocaml-dscheck
Priority: optional
Section: universe/ocaml
Installed-Size: 981
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 0.6.0-1
Provides: libdscheck-ocaml-dev-w72n0
Depends: libstdlib-ocaml-dev-1ltp0, ocaml-5.4.1
Filename: pool/universe/o/ocaml-dscheck/libdscheck-ocaml-dev_0.6.0-1_amd64.deb
Size: 280314
SHA512: 6ce1dd8ff2e3cdf87955971effc825efc4ccb62f39b5ab02c65c1775677e2d668e9421be8d74e2128db5b00a69894750a55fcbaf66feb8d485bd5bdb86d2a03a
Homepage: https://github.com/ocaml-multicore/dscheck
Description: model checker for testing concurrent programs
Description-md5: 4df1299cc986298871c35b9f60b81142
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug