libdscheck-ocaml-dev (0.5.0-2build8)

Details

Core information at a glance

Distribution: ubuntu
Origin: ubuntu-stonking
Repository: https://ports.ubuntu.com
Codename: stonking
Component: universe
Source: ocaml-dscheck
Architecture: riscv64
Section: universe/ocaml
Priority: optional
Maintainer: Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size: 1.2 kB
Size expected: 308.2 kB
Size actual: 308.2 kB
Size match

Dependencies

Required package dependencies

libcontainers-ocaml-dev-f6zp6
liboseq-ocaml-dev-kfh21
libstdlib-ocaml-dev-kjuo1
ocaml-5.4.0

Suggested packages

Recommended additional packages

None

Description

model checker for testing concurrent programs

Homepage Download .deb

Checksums

Hash values and integrity verification status

Type	Expected	Actual
MD5	181af7b6…bfe98010	181af7b6…bfe98010
SHA-1	47190848…3a373cc7	47190848…3a373cc7
SHA-256	ca03f508…3c4bd242	ca03f508…3c4bd242
SHA-512	7dd9414c…9a7766b4	7dd9414c…9a7766b4

Files and directories included

.
usr
usr/lib
usr/lib/riscv64-linux-gnu
usr/lib/riscv64-linux-gnu/ocaml
usr/lib/riscv64-linux-gnu/ocaml/5.4.0
usr/lib/riscv64-linux-gnu/ocaml/5.4.0/dscheck
usr/lib/riscv64-linux-gnu/ocaml/5.4.0/dscheck/META
usr/lib/riscv64-linux-gnu/ocaml/5.4.0/dscheck/atomic_op.ml
usr/lib/riscv64-linux-gnu/ocaml/5.4.0/dscheck/dscheck.a
usr/lib/riscv64-linux-gnu/ocaml/5.4.0/dscheck/dscheck.cma
usr/lib/riscv64-linux-gnu/ocaml/5.4.0/dscheck/dscheck.cmi
usr/lib/riscv64-linux-gnu/ocaml/5.4.0/dscheck/dscheck.cmt
usr/lib/riscv64-linux-gnu/ocaml/5.4.0/dscheck/dscheck.cmx
usr/lib/riscv64-linux-gnu/ocaml/5.4.0/dscheck/dscheck.cmxa
usr/lib/riscv64-linux-gnu/ocaml/5.4.0/dscheck/dscheck.cmxs
usr/lib/riscv64-linux-gnu/ocaml/5.4.0/dscheck/dscheck.ml
usr/lib/riscv64-linux-gnu/ocaml/5.4.0/dscheck/dscheck__Atomic_op.cmi
usr/lib/riscv64-linux-gnu/ocaml/5.4.0/dscheck/dscheck__Atomic_op.cmt
usr/lib/riscv64-linux-gnu/ocaml/5.4.0/dscheck/dscheck__Atomic_op.cmx
usr/lib/riscv64-linux-gnu/ocaml/5.4.0/dscheck/dscheck__Trace_tracker.cmi
usr/lib/riscv64-linux-gnu/ocaml/5.4.0/dscheck/dscheck__Trace_tracker.cmt
usr/lib/riscv64-linux-gnu/ocaml/5.4.0/dscheck/dscheck__Trace_tracker.cmti
usr/lib/riscv64-linux-gnu/ocaml/5.4.0/dscheck/dscheck__Trace_tracker.cmx
usr/lib/riscv64-linux-gnu/ocaml/5.4.0/dscheck/dscheck__TracedAtomic.cmi
usr/lib/riscv64-linux-gnu/ocaml/5.4.0/dscheck/dscheck__TracedAtomic.cmt
usr/lib/riscv64-linux-gnu/ocaml/5.4.0/dscheck/dscheck__TracedAtomic.cmti
usr/lib/riscv64-linux-gnu/ocaml/5.4.0/dscheck/dscheck__TracedAtomic.cmx
usr/lib/riscv64-linux-gnu/ocaml/5.4.0/dscheck/dune-package
usr/lib/riscv64-linux-gnu/ocaml/5.4.0/dscheck/opam
usr/lib/riscv64-linux-gnu/ocaml/5.4.0/dscheck/trace_tracker.ml
usr/lib/riscv64-linux-gnu/ocaml/5.4.0/dscheck/trace_tracker.mli
usr/lib/riscv64-linux-gnu/ocaml/5.4.0/dscheck/tracedAtomic.ml
usr/lib/riscv64-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/CHANGES.md
usr/share/doc/libdscheck-ocaml-dev/README.md.gz
usr/share/doc/libdscheck-ocaml-dev/changelog.Debian.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