summaryrefslogtreecommitdiff
path: root/patches/ppl/0.11.2/200-fix-build-with-local-gmp.patch
AgeCommit message (Expand)AuthorFilesLines
2013-07-24complibs/ppl: fix build when local system has libgmp already installedYann E. MORIN"1-0/+24