author | Hauke Mehrtens <hauke@hauke-m.de> | |
Sun, 17 Apr 2016 12:52:17 +0000 (12:52 +0000) | ||
committer | Hauke Mehrtens <hauke@hauke-m.de> | |
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 |