libqcheck-lin-ocaml-dev (0.11-1)

2 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-multicoretests
Architecture
i386
Section
ocaml
Priority
optional
Maintainer
Debian OCaml Maintainers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
459 B
Size expected
354.2 kB
Size actual
354.2 kB
Size match

Dependencies

Required package dependencies

  • libqcheck-core-ocaml-dev-3tgk0
  • libqcheck-multicoretests-util-ocaml-dev-gfa12
  • libstdlib-ocaml-dev-ye7o9
  • ocaml-5.3.0

Suggested packages

Recommended additional packages

  • None

Description

QCheck module testing sequential consistency

Tags

Package classification tags

None

Checksums

Hash values and integrity verification status

TypeActualMatch
MD5b9cd16b0…337db205
SHA-1e0473658…b363892f
SHA-2569c45b129…05c107ad
SHA-512cfee3452…3a5ed8ef

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.3.0
usr/lib/i386-linux-gnu/ocaml/5.3.0/qcheck-lin
usr/lib/i386-linux-gnu/ocaml/5.3.0/qcheck-lin/META
usr/lib/i386-linux-gnu/ocaml/5.3.0/qcheck-lin/domain
usr/lib/i386-linux-gnu/ocaml/5.3.0/qcheck-lin/domain/lin_domain.cma
usr/lib/i386-linux-gnu/ocaml/5.3.0/qcheck-lin/domain/lin_domain.cmi
usr/lib/i386-linux-gnu/ocaml/5.3.0/qcheck-lin/domain/lin_domain.cmt
usr/lib/i386-linux-gnu/ocaml/5.3.0/qcheck-lin/domain/lin_domain.cmti
usr/lib/i386-linux-gnu/ocaml/5.3.0/qcheck-lin/domain/lin_domain.ml
usr/lib/i386-linux-gnu/ocaml/5.3.0/qcheck-lin/domain/lin_domain.mli
usr/lib/i386-linux-gnu/ocaml/5.3.0/qcheck-lin/dune-package
usr/lib/i386-linux-gnu/ocaml/5.3.0/qcheck-lin/effect
usr/lib/i386-linux-gnu/ocaml/5.3.0/qcheck-lin/effect/lin_effect.cma
usr/lib/i386-linux-gnu/ocaml/5.3.0/qcheck-lin/effect/lin_effect.cmi
usr/lib/i386-linux-gnu/ocaml/5.3.0/qcheck-lin/effect/lin_effect.cmt
usr/lib/i386-linux-gnu/ocaml/5.3.0/qcheck-lin/effect/lin_effect.cmti
usr/lib/i386-linux-gnu/ocaml/5.3.0/qcheck-lin/effect/lin_effect.ml
usr/lib/i386-linux-gnu/ocaml/5.3.0/qcheck-lin/effect/lin_effect.mli
usr/lib/i386-linux-gnu/ocaml/5.3.0/qcheck-lin/lin
usr/lib/i386-linux-gnu/ocaml/5.3.0/qcheck-lin/lin/lin.cma
usr/lib/i386-linux-gnu/ocaml/5.3.0/qcheck-lin/lin/lin.cmi
usr/lib/i386-linux-gnu/ocaml/5.3.0/qcheck-lin/lin/lin.cmt
usr/lib/i386-linux-gnu/ocaml/5.3.0/qcheck-lin/lin/lin.cmti
usr/lib/i386-linux-gnu/ocaml/5.3.0/qcheck-lin/lin/lin.ml
usr/lib/i386-linux-gnu/ocaml/5.3.0/qcheck-lin/lin/lin.mli
usr/lib/i386-linux-gnu/ocaml/5.3.0/qcheck-lin/opam
usr/lib/i386-linux-gnu/ocaml/5.3.0/qcheck-lin/thread
usr/lib/i386-linux-gnu/ocaml/5.3.0/qcheck-lin/thread/lin_thread.cma
usr/lib/i386-linux-gnu/ocaml/5.3.0/qcheck-lin/thread/lin_thread.cmi
usr/lib/i386-linux-gnu/ocaml/5.3.0/qcheck-lin/thread/lin_thread.cmt
usr/lib/i386-linux-gnu/ocaml/5.3.0/qcheck-lin/thread/lin_thread.cmti
usr/lib/i386-linux-gnu/ocaml/5.3.0/qcheck-lin/thread/lin_thread.ml
usr/lib/i386-linux-gnu/ocaml/5.3.0/qcheck-lin/thread/lin_thread.mli
usr/share
usr/share/doc
usr/share/doc/libqcheck-lin-ocaml-dev
usr/share/doc/libqcheck-lin-ocaml-dev/README.md.gz
usr/share/doc/libqcheck-lin-ocaml-dev/changelog.Debian.gz
usr/share/doc/libqcheck-lin-ocaml-dev/changelog.gz
usr/share/doc/libqcheck-lin-ocaml-dev/copyright
usr/share/doc/libqcheck-lin-ocaml-dev/index.mld.gz
var
var/lib
var/lib/ocaml
var/lib/ocaml/lintian
var/lib/ocaml/lintian/libqcheck-lin-ocaml-dev.info
var/lib/ocaml/md5sums
var/lib/ocaml/md5sums/libqcheck-lin-ocaml-dev.md5sums