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)
commit0ea5f613de9d0c8090c07e4312982614d49aa170
tree33c6060f373bb8c1cdcbc6a16d6ffa44f8f8dd6c
parent4dbb7f8cb563d3b7aa93ac445fe7824df939ebd4
ppl: update to new version.

The old version is not compatible with gmp 5.

SVN-Revision: 24501
tools/ppl/Makefile