Package: libdscheck-ocaml-dev
Source: ocaml-dscheck
Priority: optional
Section: universe/ocaml
Installed-Size: 971
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 0.5.0-2build8
Provides: libdscheck-ocaml-dev-p8ja0
Depends: libcontainers-ocaml-dev-f6zp6, liboseq-ocaml-dev-kfh21, libstdlib-ocaml-dev-kjuo1, ocaml-5.4.0
Filename: pool/universe/o/ocaml-dscheck/libdscheck-ocaml-dev_0.5.0-2build8_amd64.deb
Size: 282360
MD5sum: 4e043d878a4e58f27cbc0a11e5f5a2b5
SHA1: 718fa1fe76b890b7d5c7619c13cb69c0e72fb6bf
SHA256: 40d67e529ab3e145fd2b483b90f41b52f3575ed2b6ac643767d0a6445ce4125c
SHA512: 39a118b02d38445142d900c6bffa2c85b1f8a72577f763f919b88bd3378e28994e4a5489280c514957f704892d9f9dd2d129bddaf4f7e73f012a592bf6b14e8f
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