Bjørn Forsman 2b2e7c2730 ppl: 1.0 -> 1.1, add patch to fix current ptrdiff_t build error ... I'm updating to 1.1 because that's the version that the patch from Fedora, which fixes ptrdiff_t build error, applies to. Removing old patch that doesn't apply anymore. (The patch seems to be fixing a build error that no longer exist, see https://bugs.gentoo.org/show_bug.cgi?id=447928.)		2015-07-23 14:39:28 +02:00
..
default.nix	ppl: 1.0 -> 1.1, add patch to fix current ptrdiff_t build error	2015-07-23 14:39:28 +02:00
ppl-cstddef.patch	ppl: 1.0 -> 1.1, add patch to fix current ptrdiff_t build error	2015-07-23 14:39:28 +02:00