quickchick (2.1.0-1.1+b2)

Details

Core information at a glance

Distribution: debian
Origin: debian-forky
Repository: https://deb.debian.org/debian
Codename: forky
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: 495.8 kB
Size actual: 495.8 kB
Size match

Dependencies

Required package dependencies

libc6 (>= 2.38)
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	78114fe0…ca0a4220	78114fe0…ca0a4220
SHA-1	Not provided	7976ef31…4a6f9e2a
SHA-256	cdbaae28…3fc1bdfa	cdbaae28…3fc1bdfa
SHA-512	Not provided	172dd396…b9e2d131

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