Ingolf Wagner bd674ce4eb remove nixpkgs channels which are not needed anymore		2024-06-07 14:25:34 +02:00
..
common	remove nixpkgs channels which are not needed anymore	2024-06-07 14:25:34 +02:00
palo	remove nixpkgs channels which are not needed anymore	2024-06-07 14:25:34 +02:00
root	flake.nix refactorings	2024-05-30 16:38:33 +02:00
tina	remove nixpkgs channels which are not needed anymore	2024-06-07 14:25:34 +02:00