Package - libdscheck-ocaml-dev

Package:  libdscheck-ocaml-dev
apt-get install libdscheck-ocaml-dev
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/o/ocaml-dscheck/libdscheck-ocaml-dev_0.5.0-2+b3_amd64.deb (Size: 292.7KiB)

PropertyValue
Packagelibdscheck-ocaml-dev
Sourceocaml-dscheck (0.5.0-2)
Version0.5.0-2+b3
Installed-Size637
MaintainerDebian OCaml Maintainers
Architectureamd64
Provideslibdscheck-ocaml-dev-8rtk8
Dependslibcontainers-ocaml-dev-7cr37, liboseq-ocaml-dev-hylk4, libstdlib-ocaml-dev-m4xw9, ocaml-5.3.0
Descriptionmodel checker for testing concurrent programs
Description-md54df1299cc986298871c35b9f60b81142
Homepagehttps://github.com/ocaml-multicore/dscheck
Sectionocaml
Priorityoptional
Filenamepool/main/o/ocaml-dscheck/libdscheck-ocaml-dev_0.5.0-2+b3_amd64.deb
Size299696
MD5suma1802f425e72de78cd3cdd033657ec07
SHA256fcdaa07f155920cd0fd607987094baf70e2d55d4df006fa63c8e7e0de7d6c2c4

Files in package

  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/dscheck/META
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/dscheck/atomic_op.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/dscheck/dscheck.a
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/dscheck/dscheck.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/dscheck/dscheck.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/dscheck/dscheck.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/dscheck/dscheck.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/dscheck/dscheck.cmxa
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/dscheck/dscheck.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/dscheck/dscheck.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/dscheck/dscheck__Atomic_op.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/dscheck/dscheck__Atomic_op.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/dscheck/dscheck__Atomic_op.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/dscheck/dscheck__Trace_tracker.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/dscheck/dscheck__Trace_tracker.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/dscheck/dscheck__Trace_tracker.cmti
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/dscheck/dscheck__Trace_tracker.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/dscheck/dscheck__TracedAtomic.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/dscheck/dscheck__TracedAtomic.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/dscheck/dscheck__TracedAtomic.cmti
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/dscheck/dscheck__TracedAtomic.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/dscheck/dune-package
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/dscheck/opam
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/dscheck/trace_tracker.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/dscheck/trace_tracker.mli
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/dscheck/tracedAtomic.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/dscheck/tracedAtomic.mli
  • /usr/share/doc/libdscheck-ocaml-dev/README.md.gz
  • /usr/share/doc/libdscheck-ocaml-dev/changelog.Debian.amd64.gz
  • /usr/share/doc/libdscheck-ocaml-dev/changelog.Debian.gz
  • /usr/share/doc/libdscheck-ocaml-dev/changelog.gz
  • /usr/share/doc/libdscheck-ocaml-dev/copyright
  • /var/lib/ocaml/lintian/libdscheck-ocaml-dev.info
  • /var/lib/ocaml/md5sums/libdscheck-ocaml-dev.md5sums