Remove building with NOCRYPTO option47/3547/1freenode-registration-for-minix-by-saturn-96c65005master
[minix.git] / external / lgpl3 / mpfr / 
tree56076b38c711a460da8974d684a2fcc19450a909
drwxr-xr-x   ..
-rwxr-xr-x 621 fetch.sh
drwxr-xr-x - lib
drwxr-xr-x - patches