nix: Use coliasgroup Verus repo

Signed-off-by: Nick Spinale <[email protected]>
seL4 · May 29, 2024 · c0688cb · c0688cb
1 parent 325672c
commit c0688cb
Show file tree

Hide file tree

Showing 4 changed files with 12 additions and 14 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/crates/private/tests/root-task/verus/core/Cargo.toml b/crates/private/tests/root-task/verus/core/Cargo.toml
@@ -18,14 +18,14 @@ license = "BSD-2-Clause"
 metadata = { verus = { verify = true } }
 
 [dependencies.builtin]
-git = "https://github.com/nspin/verus.git"
+git = "https://github.com/coliasgroup/verus.git"
 tag = "keep/fdac1c3c52e639bf3e835802f63b4352"
 
 [dependencies.builtin_macros]
-git = "https://github.com/nspin/verus.git"
+git = "https://github.com/coliasgroup/verus.git"
 tag = "keep/fdac1c3c52e639bf3e835802f63b4352"
 
 [dependencies.vstd]
-git = "https://github.com/nspin/verus.git"
+git = "https://github.com/coliasgroup/verus.git"
 tag = "keep/fdac1c3c52e639bf3e835802f63b4352"
 default-features = false
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 {