nix: Use coliasgroup Verus repo

Signed-off-by: Nick Spinale <nick@nickspinale.com>
seL4 · May 29, 2024 · 06a75fc · 06a75fc
1 parent 325672c
commit 06a75fc
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 6 deletions.
diff --git a/hacking/cargo-manifest-management/manifest-scope.nix b/hacking/cargo-manifest-management/manifest-scope.nix
@@ -222,7 +222,7 @@ in rec {
   };
 
   verusSource = {
-    git = "https://github.com/nspin/verus.git";
-    tag = mkKeepRef "fdac1c3c52e639bf3e835802f63b43520379b1a1";
+    git = "https://github.com/coliasgroup/verus.git";
+    tag = mkKeepRef "fdac1c3c52e639bf3e835802f63b43520379b1a1"; # branch dev
   };
 }
diff --git a/hacking/nix/scope/verus/default.nix b/hacking/nix/scope/verus/default.nix
@@ -43,10 +43,8 @@ let
   }));
 
   src = sources.fetchGit {
-    url = "https://github.com/nspin/verus.git";
-    rev = "fdac1c3c52e639bf3e835802f63b43520379b1a1";
-    local = sources.localRoot + "/../s/verus-hacking/verus";
-    # useLocal = true;
+    url = "https://github.com/coliasgroup/verus.git";
+    rev = "fdac1c3c52e639bf3e835802f63b43520379b1a1"; # branch dev
   };
 
   lockfile = vendorLockfile {