Package - quickchick
Primary informations
Download package: http://deb.debian.org/debian/pool/main/c/coq-quickchick/quickchick_2.1.0-1+b2_amd64.deb (Size: 480.7KiB)| Property | Value |
|---|---|
| Package | quickchick |
| Source | coq-quickchick (2.1.0-1) |
| Version | 2.1.0-1+b2 |
| Installed-Size | 1793 |
| Maintainer | Debian OCaml Maintainers |
| Architecture | amd64 |
| Depends | libc6 (>= 2.38), ocaml-base | ocaml |
| Description | randomized testing framework for Coq (tools) |
| Description-md5 | 3190f708de6832bc13984e3cda4ffbd6 |
| Homepage | https://github.com/Quickchick/Quickchick |
| Section | ocaml |
| Priority | optional |
| Filename | pool/main/c/coq-quickchick/quickchick_2.1.0-1+b2_amd64.deb |
| Size | 492264 |
| MD5sum | 245413ed010501c5b221ecee2af4b64a |
| SHA256 | 63f723168fad7df09f84c7774bcc9acb606ee2d738ef01bd15c8d0ab7517cb39 |
Files in package
- /usr/bin/quickChick
- /usr/doc/coq-quickchick/CHANGELOG.md
- /usr/doc/coq-quickchick/README.md
- /usr/share/doc/quickchick/changelog.Debian.amd64.gz
- /usr/share/doc/quickchick/changelog.Debian.gz
- /usr/share/doc/quickchick/changelog.gz
- /usr/share/doc/quickchick/copyright
- /usr/share/man/man1/quickChick.1.gz