libqcheck-stm-ocaml-dev (0.11-1build4)

Details

Core information at a glance

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

Size & integrity

Byte sizes and integrity verification

Installed size: 1.1 kB
Size expected: 295.7 kB
Size actual: 295.7 kB
Size match

Dependencies

Required package dependencies

libqcheck-core-ocaml-dev-x0046
libqcheck-multicoretests-util-ocaml-dev-ibzg8
libstdlib-ocaml-dev-kjuo1
ocaml-5.4.0

Suggested packages

Recommended additional packages

None

Description

QCheck module testing parallel state-machines

Homepage Download .deb

Checksums

Hash values and integrity verification status

Type	Expected	Actual
MD5	8c80923e…d9a18132	8c80923e…d9a18132
SHA-1	1371ad44…708e3377	1371ad44…708e3377
SHA-256	127678d9…16381c27	127678d9…16381c27
SHA-512	c246c6bf…4c36cd35	c246c6bf…4c36cd35

Files and directories included

.
usr
usr/lib
usr/lib/x86_64-linux-gnu
usr/lib/x86_64-linux-gnu/ocaml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/META
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/domain
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/domain/STM_domain.a
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/domain/STM_domain.cma
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/domain/STM_domain.cmxa
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/domain/STM_domain.cmxs
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/domain/STM_domain.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/domain/STM_domain.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/domain/sTM_domain.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/domain/sTM_domain.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/domain/sTM_domain.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/domain/sTM_domain.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/dune-package
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/opam
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/sequential
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/sequential/STM_sequential.a
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/sequential/STM_sequential.cma
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/sequential/STM_sequential.cmxa
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/sequential/STM_sequential.cmxs
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/sequential/STM_sequential.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/sequential/STM_sequential.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/sequential/sTM_sequential.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/sequential/sTM_sequential.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/sequential/sTM_sequential.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/sequential/sTM_sequential.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/stm
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/stm/STM.a
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/stm/STM.cma
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/stm/STM.cmxa
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/stm/STM.cmxs
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/stm/STM.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/stm/STM.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/stm/sTM.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/stm/sTM.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/stm/sTM.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/stm/sTM.cmx
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/thread
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/thread/STM_thread.a
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/thread/STM_thread.cma
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/thread/STM_thread.cmxa
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/thread/STM_thread.cmxs
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/thread/STM_thread.ml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/thread/STM_thread.mli
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/thread/sTM_thread.cmi
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/thread/sTM_thread.cmt
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/thread/sTM_thread.cmti
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/qcheck-stm/thread/sTM_thread.cmx
usr/share
usr/share/doc
usr/share/doc/libqcheck-stm-ocaml-dev
usr/share/doc/libqcheck-stm-ocaml-dev/CHANGES.md.gz
usr/share/doc/libqcheck-stm-ocaml-dev/README.md.gz
usr/share/doc/libqcheck-stm-ocaml-dev/changelog.Debian.gz
usr/share/doc/libqcheck-stm-ocaml-dev/copyright
usr/share/doc/libqcheck-stm-ocaml-dev/index.mld.gz
var
var/lib
var/lib/ocaml
var/lib/ocaml/lintian
var/lib/ocaml/lintian/libqcheck-stm-ocaml-dev.info
var/lib/ocaml/md5sums
var/lib/ocaml/md5sums/libqcheck-stm-ocaml-dev.md5sums