History of file default.nix at check-in c5cbf4bc54fe288f