Ingolf Wagner bd674ce4eb remove nixpkgs channels which are not needed anymore		2024-06-07 14:25:34 +02:00
..
all	remove nixpkgs channels which are not needed anymore	2024-06-07 14:25:34 +02:00