ptrcnull af2026025e main/mpfr4: fix patch URLs returning 404 on outdated versions
"mpfr-current" points to the latest release, making all patch URLs invalid
the moment a new release is cut; however, all versions also have a separate page
where the patches should be available indefinitely
2025-03-22 16:45:05 +01:00
..