Robert Marko bab3ae2ee7 tools: prefer gz or bz2 tarballs vor 1 Jahr
..
patches a72981b97a tools/mpfr: update to 4.2.0 vor 3 Jahren
Makefile bab3ae2ee7 tools: prefer gz or bz2 tarballs vor 1 Jahr