update to latest available upstream version
[openadk.git] / package / mpfr / 
tree57062eb98650dbd026cf389126ba2d8b7dbe6404
drwxr-xr-x   ..
-rw-r--r-- 156 Config.in
-rw-r--r-- 662 Makefile
drwxr-xr-x - patches