From 13d18b56dc7aa64867a33a71c206eebc35943d75 Mon Sep 17 00:00:00 2001
From: Sridhar Ratnakumar <srid@srid.ca>
Date: Mon, 4 Apr 2022 16:51:28 -0400
Subject: [PATCH] disable idris cache

---
 features/caches/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/features/caches/default.nix b/features/caches/default.nix
index 8a82927..5c7f87f 100644
--- a/features/caches/default.nix
+++ b/features/caches/default.nix
@@ -3,6 +3,6 @@
     ./iohk.nix
     # ./reflex.nix -- not working on reflex*
     # ./platonic.nix -- don't need ssh cache
-    ./cm-idris2-pkgs.nix
+    # ./cm-idris2-pkgs.nix
   ];
 }