Cyril Cohen
|
9ffd16b385
|
coqPackages: refactor
|
2021-01-09 11:56:17 +01:00 |
|
Vincent Laporte
|
19dab239bb
|
coqPackages.CoLoR: enable for Coq 8.11
|
2020-06-01 15:04:17 +02:00 |
|
Michael Reilly
|
84cf00f980
|
treewide: Per RFC45, remove all unquoted URLs
|
2020-04-10 17:54:53 +01:00 |
|
Jarrod Pas
|
b25a192755
|
coqPackages.CoLoR support for Coq 8.10
|
2020-01-26 09:37:22 -06:00 |
|
Jarrod Pas
|
bebbc486d0
|
Keeps older CoLoR available for older Coq
|
2020-01-25 16:38:04 -06:00 |
|
Jarrod Pas
|
4339f5803d
|
coqPackages.CoLoR 1.4.0 -> 1.6.0
The package is now developed on GitHub, so fetchurl was replace with
fetchFromGithub.
|
2020-01-22 02:05:22 -06:00 |
|
Vincent Laporte
|
6845b248d9
|
coq: init at 8.8+beta1
|
2018-03-21 18:06:28 +00:00 |
|
Vincent Laporte
|
d9f41a5bce
|
coqPackages: move to a separate file and filter the package set
|
2017-12-18 15:30:36 +00:00 |
|
John Wiegley
|
a41478cebb
|
coqPackages.CoLoR: 1.3.0 -> 1.4.0, which now supports Coq 8.7
|
2017-11-12 10:03:32 -08:00 |
|
Vincent Laporte
|
ebce795c5c
|
coqPackages: remove duplication in mkCoqPackages
|
2017-09-04 02:39:49 +00:00 |
|
John Wiegley
|
0bf019c99a
|
coqPackages_8_6.CoLoR: Fix installPhase
|
2017-07-18 20:22:03 -04:00 |
|
John Wiegley
|
53d1eb0fc6
|
coqPackages_8_6.CoLoR: new expression 1.3.0
|
2017-07-18 19:12:51 -04:00 |
|