Juan RP df6e5f2fec ppl: make this build with gmp>=5.1; cross build support.		2013-02-18 13:57:36 +01:00
..
patches	ppl: make this build with gmp>=5.1; cross build support.	2013-02-18 13:57:36 +01:00
ppl-devel.template	ppl: make this build with gmp>=5.1; cross build support.	2013-02-18 13:57:36 +01:00
template	ppl: make this build with gmp>=5.1; cross build support.	2013-02-18 13:57:36 +01:00