genode/repos/libports/recipes
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