quickchick (2.1.0-1.1+b4)

Details

Core information at a glance

Distribution: debian
Origin: debian-sid
Repository: https://deb.debian.org/debian
Codename: sid
Component: main
Source: coq-quickchick (2.1.0-1.1)
Architecture: s390x
Section: ocaml
Priority: optional
Maintainer: Debian OCaml Maintainers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size: 2.1 kB
Size expected: 513.4 kB
Size actual: 513.4 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	7bb071a0…a8868884	7bb071a0…a8868884
SHA-1	Not provided	2bef59f2…d9aa378c
SHA-256	31bf1627…2b043fb3	31bf1627…2b043fb3
SHA-512	Not provided	a67ec965…936fa40a

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/changelog.Debian.s390x.gz
usr/share/doc/quickchick/changelog.gz
usr/share/doc/quickchick/copyright
usr/share/man
usr/share/man/man1
usr/share/man/man1/quickChick.1.gz