Jörg Thalheim b83068be43 set nixpkgs to master for now		2024-07-08 16:41:47 +02:00
..
0001-add-bot-check.patch	fix buildbot setup	2024-05-01 12:29:01 +02:00
default.nix	set nixpkgs to master for now	2024-07-08 16:41:47 +02:00