quickchick (2.1.0-1.1build5)

Details

Core information at a glance

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

Size & integrity

Byte sizes and integrity verification

Installed size: 1.8 kB
Size expected: 551 kB
Size actual: 551 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	aab74c08…cab5cded	aab74c08…cab5cded
SHA-1	f432b4e4…d8ae33b0	f432b4e4…d8ae33b0
SHA-256	8867989d…262135de	8867989d…262135de
SHA-512	3d0d99bf…e81d819c	3d0d99bf…e81d819c

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