summaryrefslogtreecommitdiff
path: root/patches/ppl/0.11.2/400-fix-build-with-gmp-5.1.patch
AgeCommit message (Expand)AuthorFilesLines
2015-11-30PPL: Remove support for PPL and CLooG/PPLBryan Hundven1-52/+0
2013-12-08complibs/ppl: Fix build of ppl 0.11.2 with gmp 5.1 and laterBernhard Walle1-0/+52