Rodrigo Arias Mallo 5df94bfc66 Use current gcc version with mcxx		2020-07-08 14:59:19 +02:00
..
default.nix	Use current gcc version with mcxx	2020-07-08 14:59:19 +02:00