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: s390x
Section: universe/ocaml
Priority: optional
Maintainer: Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size: 2.1 kB
Size expected: 589.8 kB
Size actual: 589.8 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	dc11159d…40f41a64	dc11159d…40f41a64
SHA-1	32189f51…fbe2c54e	32189f51…fbe2c54e
SHA-256	9b290aad…e8308400	9b290aad…e8308400
SHA-512	d7b451fd…2b41913b	d7b451fd…2b41913b

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