muen: Add derivation
gcc: Remove obsolete ada patch
spark-ada: Add derivations