Commit message (Expand) | Author | Age | |
---|---|---|---|
* | coq_8_10: 8.10+β3 → 8.10.0 | Vincent Laporte | 2019-10-16 |
* | treewide: remove redundant quotes | volth | 2019-08-26 |
* | elpi: 1.4.1 -> 1.6.0, and coq-elpi | Cyril Cohen | 2019-08-09 |
index : nixpkgs | |
Downstream nixpkgs tree for Spectrum | Alyssa Ross |
summary refs log tree commit diff |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | coq_8_10: 8.10+β3 → 8.10.0 | Vincent Laporte | 2019-10-16 |
* | treewide: remove redundant quotes | volth | 2019-08-26 |
* | elpi: 1.4.1 -> 1.6.0, and coq-elpi | Cyril Cohen | 2019-08-09 |