ppl: update to new version.
authorHauke Mehrtens <hauke@hauke-m.de>
Sat, 11 Dec 2010 23:55:39 +0000 (23:55 +0000)
committerHauke Mehrtens <hauke@hauke-m.de>
Sat, 11 Dec 2010 23:55:39 +0000 (23:55 +0000)
commit68ee8422a40838272d6158b02e29e28125afb220
treecafbf215216118166e3e5fd676ca713d99d21ff1
parenta407bd604234fd607b04cf19a8bfaf7ee66b0e33
ppl: update to new version.

The old version is not compatible with gmp 5.

SVN-Revision: 24501
tools/ppl/Makefile