Merge remote-tracking branch 'origin/master' into release

runtimeverification · Aug 16, 2024 · e9311b1 · e9311b1
2 parents 834c70e + 383f85f
commit e9311b1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -246,7 +246,7 @@ Always have your build up-to-date.
 
 ### Building with Nix
 
-We now support building KEVM using [nix flakes](https://nixos.wiki/wiki/Flakes).
+We now support building KEVM using [nix flakes](https://wiki.nixos.org/wiki/Flakes).
 To set up nix flakes you will need to be on `nix` 2.4 or higher and follow the instructions [here](https://nixos.wiki/wiki/Flakes).
 
 For example, if you are on a standard Linux distribution, such as Ubuntu, first [install nix](https://nixos.org/download.html#download-nix)