Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2015-08-18 | coq-QuickChick: 21f50a02 -> 20150605 | Vincent Laporte | 1 | -5/+7 |
2015-05-08 | coqPackages.QuickChick: New expression | John Wiegley | 1 | -0/+28 |
![]() |
index : mirror/nixpkgs | |
Nix packages collection |
about summary refs log tree commit diff |
Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2015-08-18 | coq-QuickChick: 21f50a02 -> 20150605 | Vincent Laporte | 1 | -5/+7 |
2015-05-08 | coqPackages.QuickChick: New expression | John Wiegley | 1 | -0/+28 |