Christian Prochaska 471d34a367 Remove mpc and mpfr ports ...

These ports are not needed anymore with the 21.05 tool chain update.

Issue #4094

2021-05-28 14:15:26 +02:00

..

api

Remove mpc and mpfr ports

2021-05-28 14:15:26 +02:00

pkg

gcov: update to version 10.3.0

2021-05-28 14:15:26 +02:00

raw

depot: update recipe hashes

2020-08-25 11:50:41 +02:00

src

Remove mpc and mpfr ports

2021-05-28 14:15:26 +02:00