rename systems

This commit is contained in:
jopejoe1 2024-04-30 15:12:55 +02:00
parent a59483e2d3
commit b355dfb8da
5 changed files with 4 additions and 4 deletions

View file

@ -41,8 +41,8 @@ let
};
in
{
pi400 = mkSystem "aarch64-unknown-linux-gnu" "pi400";
pi4 = mkSystem "aarch64-unknown-linux-gnu" "pi4";
pi5 = mkSystem "aarch64-unknown-linux-gnu" "pi5";
pi4_2 = mkSystem "aarch64-unknown-linux-gnu" "pi4_2";
club-mate = mkSystem "aarch64-unknown-linux-gnu" "club-mate";
mio-mio-mate = mkSystem "aarch64-unknown-linux-gnu" "mio-mio-mate";
fritz-mate = mkSystem "aarch64-unknown-linux-gnu" "fritz-mate";
flora-mate = mkSystem "aarch64-unknown-linux-gnu" "flora-mate";
}