/external/lgpl3/mpfr/

• ../
• fetch.sh
• lib
• patches