fix obsidian

This commit is contained in:
2024-10-10 18:36:04 +02:00
parent cf098303dc
commit 3d2e3e942f
2 changed files with 1 additions and 2 deletions

View File

@@ -20,7 +20,6 @@
pavucontrol pavucontrol
sshfs sshfs
##obsidian
obsidian obsidian
lean4 lean4

View File

@@ -3,7 +3,7 @@ final: prev: {
src = prev.fetchurl { src = prev.fetchurl {
url = old.src.url; url = old.src.url;
hash = "sha256-9goJnKOgJk5TrFUNz4vff8704cvHfqZpGL/iBkcU2GY="; hash = "sha256-ho8E2Iq+s/w8NjmxzZo/y5aj3MNgbyvIGjk3nSKPLDw=";
}; };
}); });
} }