diff --git a/flake.lock b/flake.lock index f9e4ac1..2299ae8 100644 --- a/flake.lock +++ b/flake.lock @@ -3,15 +3,16 @@ "cubical-src": { "flake": false, "locked": { - "lastModified": 1657118863, - "narHash": "sha256-LiXdKgk70cgULv4+M19TSFQQSz0N6z+f41qCAttU0Bo=", - "owner": "agda", + "lastModified": 1658371673, + "narHash": "sha256-9DZ1v6guNx2LiqSqsy4MvRqC9j3ksFAC2u8UEW7F/pk=", + "owner": "guilhermehas", "repo": "cubical", - "rev": "61c3428cbc0b3300278d5ff8d297b1ea74e6d01a", + "rev": "bfb0bcb1cc93aab111311198b7ba3f75ec91d52b", "type": "github" }, "original": { - "owner": "agda", + "owner": "guilhermehas", + "ref": "no-unicode", "repo": "cubical", "type": "github" } diff --git a/flake.nix b/flake.nix index 39a008b..78829a9 100644 --- a/flake.nix +++ b/flake.nix @@ -3,7 +3,7 @@ inputs = { flake-utils.url = "github:numtide/flake-utils"; cubical-src = { - url = github:agda/cubical; + url = github:guilhermehas/cubical/no-unicode; flake = false; }; stdlib-src = { @@ -35,6 +35,7 @@ blogProject = with prev; stdenv.mkDerivation { name = "guilherme-blog"; src = my-src; + LC_ALL = "en_US.UTF-8"; buildInputs = with final; [ agda-all blogToolProject ]; buildPhase = ''site build'';