5 Commits

Author	SHA1	Message	Date
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