···1625216252 gcc-arm-embedded-10 = callPackage ../development/compilers/gcc-arm-embedded/10 { };
1625316253 gcc-arm-embedded-11 = callPackage ../development/compilers/gcc-arm-embedded/11 { };
1625416254 gcc-arm-embedded-12 = callPackage ../development/compilers/gcc-arm-embedded/12 { };
1625516255+ gcc-arm-embedded-13 = callPackage ../development/compilers/gcc-arm-embedded/13 { };
1625516256 gcc-arm-embedded = gcc-arm-embedded-12;
16256162571625716258 # It would be better to match the default gcc so that there are no linking errors