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 |
|