Package Details: coq-quickchick-git r1085.02c3b09-1

Git Clone URL: https://aur.archlinux.org/coq-quickchick-git.git (read-only)
Package Base: coq-quickchick-git
Description: Property-based testing plugin for Coq
Upstream URL: https://github.com/QuickChick/QuickChick
Licenses: MIT
Submitter: kaptoxic
Maintainer: kaptoxic
Last Packager: kaptoxic
Votes: 1
Popularity: 0.003204
First Submitted: 2017-09-27 20:16
Last Updated: 2017-09-27 20:16

Dependencies (3)

Required by (0)

Sources (2)