| author | Hauke Mehrtens <[email protected]> | |
| Sun, 17 Apr 2016 12:52:17 +0000 (12:52 +0000) | ||
| committer | Hauke Mehrtens <[email protected]> | |
| Sun, 17 Apr 2016 12:52:17 +0000 (12:52 +0000) | ||
| commit | 70e30d322bb70770ab48fa6f38ea2b79b5c73620 | |
| tree | 56778498c4d0ee56aa9ab3fb65d07100517a6172 | tree | snapshot |
| parent | ba97a03d7d08bfd2a26ab2e7a83ef93dbf102cfe | commit | diff |
| tools/mpfr/Makefile | diff | blob | history | |
| tools/mpfr/patches/001-only_src.patch | diff | blob | history |