quickchick (2.1.0-1.1build5)

Details

Core information at a glance

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

Size & integrity

Byte sizes and integrity verification

Installed size: 1.9 kB
Size expected: 599.1 kB
Size actual: 599.1 kB
Size match

Dependencies

Required package dependencies

libc6 (>= 2.42)
ocaml-base | ocaml

Suggested packages

Recommended additional packages

None

Description

randomized testing framework for Coq (tools)

Homepage Download .deb

Checksums

Hash values and integrity verification status

Type	Expected	Actual
MD5	2a2995b6…3a72b5af	2a2995b6…3a72b5af
SHA-1	fe50913f…5dea0422	fe50913f…5dea0422
SHA-256	1ff80e92…81842077	1ff80e92…81842077
SHA-512	04128887…b98aa155	04128887…b98aa155

Files and directories included

.
usr
usr/bin
usr/bin/quickChick
usr/share
usr/share/doc
usr/share/doc/quickchick
usr/share/doc/quickchick/README.md.gz
usr/share/doc/quickchick/changelog.Debian.gz
usr/share/doc/quickchick/copyright
usr/share/man
usr/share/man/man1
usr/share/man/man1/quickChick.1.gz