Hauke Mehrtens 22a7f8afb1 ppl: go back to version 0.10.2 vor 15 Jahren
..
001-gmp_5_fix.patch 22a7f8afb1 ppl: go back to version 0.10.2 vor 15 Jahren