libdscheck-ocaml-dev (0.5.0-2+b3)
3 versions available in kali/kali-last-snapshot/main/i386
Details
Core information at a glance
- Distribution
- kali
- Origin
- kali-last-snapshot
- Repository
- https://http.kali.org/kali
- Codename
- kali-last-snapshot
- Component
- main
- Source
- ocaml-dscheck (0.5.0-2)
- Architecture
- i386
- Section
- ocaml
- Priority
- optional
- Maintainer
- Debian OCaml Maintainers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 658 B
- Size expected
- 199.8 kB
- Size actual
- 199.8 kB
- Size match
Dependencies
Required package dependencies
Suggested packages
Recommended additional packages
- None
Description
model checker for testing concurrent programs
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 7f6a0eb7…aac49d2b | |
| SHA-1 | e808acf1…ad7e181b | |
| SHA-256 | 6b491fa7…fef5fe99 | |
| SHA-512 | ebf4a319…cfde7024 |
Contents
Files and directories included
. usr usr/lib usr/lib/i386-linux-gnu usr/lib/i386-linux-gnu/ocaml usr/lib/i386-linux-gnu/ocaml/5.4.0 usr/lib/i386-linux-gnu/ocaml/5.4.0/dscheck usr/lib/i386-linux-gnu/ocaml/5.4.0/dscheck/META usr/lib/i386-linux-gnu/ocaml/5.4.0/dscheck/atomic_op.ml usr/lib/i386-linux-gnu/ocaml/5.4.0/dscheck/dscheck.cma usr/lib/i386-linux-gnu/ocaml/5.4.0/dscheck/dscheck.cmi usr/lib/i386-linux-gnu/ocaml/5.4.0/dscheck/dscheck.cmt usr/lib/i386-linux-gnu/ocaml/5.4.0/dscheck/dscheck.ml usr/lib/i386-linux-gnu/ocaml/5.4.0/dscheck/dscheck__Atomic_op.cmi usr/lib/i386-linux-gnu/ocaml/5.4.0/dscheck/dscheck__Atomic_op.cmt usr/lib/i386-linux-gnu/ocaml/5.4.0/dscheck/dscheck__Trace_tracker.cmi usr/lib/i386-linux-gnu/ocaml/5.4.0/dscheck/dscheck__Trace_tracker.cmt usr/lib/i386-linux-gnu/ocaml/5.4.0/dscheck/dscheck__Trace_tracker.cmti usr/lib/i386-linux-gnu/ocaml/5.4.0/dscheck/dscheck__TracedAtomic.cmi usr/lib/i386-linux-gnu/ocaml/5.4.0/dscheck/dscheck__TracedAtomic.cmt usr/lib/i386-linux-gnu/ocaml/5.4.0/dscheck/dscheck__TracedAtomic.cmti usr/lib/i386-linux-gnu/ocaml/5.4.0/dscheck/dune-package usr/lib/i386-linux-gnu/ocaml/5.4.0/dscheck/opam usr/lib/i386-linux-gnu/ocaml/5.4.0/dscheck/trace_tracker.ml usr/lib/i386-linux-gnu/ocaml/5.4.0/dscheck/trace_tracker.mli usr/lib/i386-linux-gnu/ocaml/5.4.0/dscheck/tracedAtomic.ml usr/lib/i386-linux-gnu/ocaml/5.4.0/dscheck/tracedAtomic.mli usr/share usr/share/doc usr/share/doc/libdscheck-ocaml-dev usr/share/doc/libdscheck-ocaml-dev/README.md.gz usr/share/doc/libdscheck-ocaml-dev/changelog.Debian.gz usr/share/doc/libdscheck-ocaml-dev/changelog.Debian.i386.gz usr/share/doc/libdscheck-ocaml-dev/changelog.gz usr/share/doc/libdscheck-ocaml-dev/copyright var var/lib var/lib/ocaml var/lib/ocaml/lintian var/lib/ocaml/lintian/libdscheck-ocaml-dev.info var/lib/ocaml/md5sums var/lib/ocaml/md5sums/libdscheck-ocaml-dev.md5sums