Vladimír Čunát
|
6bc20ea278
|
undo #2522 merge except on darwin
It was only meant for darwin originally anyway.
See the PR for discussion.
|
2014-06-01 20:46:33 +02:00 |
|
John Wiegley
|
4cb43d2a75
|
Build ppl and gmp correctly for building gcc48 on darwin
|
2014-05-28 01:35:31 -05:00 |
|
Peter Simons
|
2fb919fb5a
|
gmp: update to version 5.1.3
|
2013-10-03 18:09:34 +02:00 |
|
Peter Simons
|
0d7118814b
|
Merge branch 'origin/master' into stdenv.
|
2013-08-17 10:00:16 +02:00 |
|
Vladimír Čunát
|
11e380a937
|
gmp5: minor update 5.1.1 -> 5.1.2 and file rename
|
2013-06-30 08:59:29 +02:00 |
|