| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2018-06-29 | coq_8_8: 8.8.0 -> 8.8.1 | Théo Zimmermann | 1 | -1/+1 |
| 2018-05-22 | coqPackages.iris: init at 3.1.0 (#40909) | Vincent Laporte | 1 | -0/+1 |
| 2018-05-15 | coqPackages.stdpp: init at 1.1 | Vincent Laporte | 1 | -0/+1 |
| 2018-04-18 | coq: 8.8+beta1 -> 8.8.0 | Vincent Laporte | 1 | -1/+1 |
| 2018-03-21 | coq: init at 8.8+beta1 | Vincent Laporte | 1 | -0/+4 |
| 2018-02-15 | coq: 8.7.1 -> 8.7.2 | John Wiegley | 1 | -1/+1 |
| 2018-02-07 | coq: default to 8.7 | Vincent Laporte | 1 | -1/+1 |
| 2017-12-28 | coqPackages.tlc: init at 20171206 | Vincent Laporte | 1 | -0/+1 |
| 2017-12-22 | coqPackages.contribs: recurse into the nested set | Vincent Laporte | 1 | -3/+5 |
| 2017-12-21 | coqPackages.contribs: new set with all packages from coq-contribs | John Wiegley | 1 | -0/+1 |
| 2017-12-21 | Specify the coq version in a more consistent location | John Wiegley | 1 | -1/+3 |
| 2017-12-18 | coqPackages.multinomials: init at 1.0 | Vincent Laporte | 1 | -0/+1 |
| 2017-12-18 | coq: minor cleaning | Vincent Laporte | 1 | -3/+3 |
| 2017-12-18 | coqPackages: move to a separate file and filter the package set | Vincent Laporte | 1 | -0/+74 |
 |
index : mirror/nixpkgs | |
| Nix packages collection |
| about summary refs log tree commit diff |