void-packages/srcpkgs/ppl/patches
..
gmp-5.1-compat.patch