toUnstable

2024-07-14 15:23:20 +02:00
parent 06bcf6eef3
commit 9be90dc19b
21 changed files with 602 additions and 252 deletions
--- a/overlays/lean.nix
+++ b/overlays/lean.nix
@@ -1,13 +0,0 @@
-final: prev: {
-  lean4 = prev.lean4.overrideAttrs (old: rec {
-    version = "4.6.1";
-
-    src = prev.fetchFromGitHub {
-      owner = "leanprover";
-      repo = "lean4";
-      rev = "v${version}";
-      hash = "sha256-wUqGADwSocg2ciycCxg9qp+vJLJ2otA/5JpTrkFrDoQ=";
-    };
-  });
-}
-
--- a/overlays/obsidian.nix
+++ b/overlays/obsidian.nix
@@ -0,0 +1,10 @@
+final: prev: {
+  obsidian = prev.obsidian.overrideAttrs (old: {
+
+    src = prev.fetchurl {
+      url = old.src.url;
+      hash = "sha256-9goJnKOgJk5TrFUNz4vff8704cvHfqZpGL/iBkcU2GY=";
+    };
+  });
+}
+