Michael Konečný 7edaafb077
[mpfr] Add mirror for mpfr at gnu.org (#10035)
* add mirror for mpfr at gnu.org

* remove deprecated include(vcpkg_common_functions)

* update version number after modified port

* update copyright handling command to install
2020-04-06 15:21:36 -07:00
..