| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2019-10-16 | coq_8_10: 8.10+β3 → 8.10.0 | Vincent Laporte | 1 | -4/+4 |
| 2019-08-26 | treewide: remove redundant quotes | volth | 1 | -1/+1 |
| 2019-08-09 | elpi: 1.4.1 -> 1.6.0, and coq-elpi | Cyril Cohen | 1 | -0/+38 |
 |
index : mirror/nixpkgs | |
| Nix packages collection |
| about summary refs log tree commit diff |