Vincent Laporte
|
72f3b1a4d1
|
coqPackages.CoLoR: 1.8.1 → 1.8.2
|
2 years ago |
Ben Siraphob
|
28d7cd8c46
|
coqPackages.CoLoR: update homepage
|
3 years ago |
Vincent Laporte
|
86878f63f9
|
coqPackages.CoLoR: 1.7.0 → 1.8.1
|
3 years ago |
Cyril Cohen
|
9ffd16b385
|
coqPackages: refactor
|
4 years ago |
Vincent Laporte
|
19dab239bb
|
coqPackages.CoLoR: enable for Coq 8.11
|
4 years ago |
Michael Reilly
|
84cf00f980
|
treewide: Per RFC45, remove all unquoted URLs
|
4 years ago |
Jarrod Pas
|
b25a192755
|
coqPackages.CoLoR support for Coq 8.10
|
4 years ago |
Jarrod Pas
|
bebbc486d0
|
Keeps older CoLoR available for older Coq
|
4 years ago |
Jarrod Pas
|
4339f5803d
|
coqPackages.CoLoR 1.4.0 -> 1.6.0
The package is now developed on GitHub, so fetchurl was replace with
fetchFromGithub.
|
4 years ago |
Vincent Laporte
|
6845b248d9
|
coq: init at 8.8+beta1
|
6 years ago |
Vincent Laporte
|
d9f41a5bce
|
coqPackages: move to a separate file and filter the package set
|
7 years ago |
John Wiegley
|
a41478cebb
|
coqPackages.CoLoR: 1.3.0 -> 1.4.0, which now supports Coq 8.7
|
7 years ago |
Vincent Laporte
|
ebce795c5c
|
coqPackages: remove duplication in mkCoqPackages
|
7 years ago |
John Wiegley
|
0bf019c99a
|
coqPackages_8_6.CoLoR: Fix installPhase
|
7 years ago |
John Wiegley
|
53d1eb0fc6
|
coqPackages_8_6.CoLoR: new expression 1.3.0
|
7 years ago |