pkgs/development/coq-modules/QuickChick/
pkgs/development/coq-modules/ · 0 packages and modules · 2 open pull requests
Pull requests 2
Issues 1
coqPackages.QuickChick missing dependency on perl and ocaml 6.topic: coq 2.status: stale
#147471 by larsr · opened 4y ago · 1 comments