Changes
2 changed files (+6/-3)
-
-
@@ -87,6 +87,9 @@DAFNY_SERVER_OVERRIDE = "${pkgs.dafny}/lib/Dafny/Dafny.dll"; }; # Enable Podman because I'm weak and need my Arch Linux help I need it I really need it virtualisation.podman.enable = true; # The default CJK font (Unifont) looks atrocious fonts.packages = with pkgs; [ wqy_microhei ]; # Fix broken emojis
-
-
-
@@ -61,11 +61,11 @@}, "nixpkgs": { "locked": { "lastModified": 1746064326, "narHash": "sha256-r7IZkN9NhK/IO9/J6D9ih2P1OXb67nr5HaQ1YAte18w=", "lastModified": 1746232882, "narHash": "sha256-MHmBH2rS8KkRRdoU/feC/dKbdlMkcNkB5mwkuipVHeQ=", "owner": "NixOS", "repo": "nixpkgs", "rev": "91bf6dffa21c7709607c9fdbf9a6acb44e7a0a5d", "rev": "7a2622e2c0dbad5c4493cb268aba12896e28b008", "type": "github" }, "original": {
-