From bda4503e98d7fa68d923de3f35a6b1bc74295259 Mon Sep 17 00:00:00 2001
From: Guilherme <guilhermehas@hotmail.com>
Date: Thu, 21 Jul 2022 00:05:42 -0300
Subject: [PATCH] added cubical without unicode

---
 flake.lock | 11 ++++++-----
 flake.nix  |  3 ++-
 2 files changed, 8 insertions(+), 6 deletions(-)

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'';