projects / 15.05 / openwrt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 00f0744) | patch
tools/mpfr: add GNU source
authorJohn Crispin <blogic@openwrt.org>
Mon, 25 Nov 2013 14:09:24 +0000 (14:09 +0000)
committerJohn Crispin <blogic@openwrt.org>
Mon, 25 Nov 2013 14:09:24 +0000 (14:09 +0000)
commit9706d908255dee69b2830b4a8ed8070e3d7a7604
tree7d9ff9dc2bcfbd699fd0154944d56d8411401ebbtree | snapshot
parent00f0744743dc85ad4e273500a15bb707f0739a6fcommit | diff
tools/mpfr: add GNU source

fixes https://dev.openwrt.org/ticket/14519

mpfr is available from GNU too
see: https://gforge.inria.fr/forum/forum.php?forum_id=11263

Signed-off-by: Dirk Neukirchen <dirkneukirchen@web.de>
git-svn-id: svn://svn.openwrt.org/openwrt/trunk@38912 3c298f89-4303-0410-b956-a3cf2f4a3e73
tools/mpfr/Makefile diff | blob | history
OpenWrt 15.05 release branch