Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 1da4d8b5c927413238531c166c64a966997873d5
https://github.com/NixOS/nixpkgs/commit/1da4d8b5c927413238531c166c64a966997873d5
Author: John Wiegley <[email protected]>
Date: 2015-05-08 (Fri, 08 May 2015)
Changed paths:
A pkgs/development/coq-modules/QuickChick/default.nix
M pkgs/top-level/all-packages.nix
Log Message:
-----------
coqPackages.QuickChick: New expression
_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
