Natanael Copa 1a495321f9 main/mpfr4: rename mpf4-dev to mpfr-dev
mpfr is special because we cannot break ABI without first rebuild gcc.
so we need be able to have multiple version of mpfr installed in
parallel we also need be able to calculate bulid order from global scope,
otherwise it is not possible to calculate build order til after package is
built. Therfore we call -dev package mpfr-dev instead of mpfr4-dev with
a provides=mpfr-dev

fixes commit cfa3618af6e2 (main/mpfr4: rename subpackage to mpfr4-dev)
2020-04-24 21:16:30 +00:00
..