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: amd64v3
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.1 kB
Size actual: 551.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	0927f51b…dd129d4c	0927f51b…dd129d4c
SHA-1	332a48db…77332f8d	332a48db…77332f8d
SHA-256	b7c184e0…e1289a59	b7c184e0…e1289a59
SHA-512	467c9924…981137dd	467c9924…981137dd

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