diff --git a/Cargo.lock b/Cargo.lock
index c3568d212..290dea829 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -305,12 +305,12 @@ dependencies = [
 [[package]]
 name = "builtin"
 version = "0.1.0"
-source = "git+https://github.com/nspin/verus.git?tag=keep/fdac1c3c52e639bf3e835802f63b4352#fdac1c3c52e639bf3e835802f63b43520379b1a1"
+source = "git+https://github.com/coliasgroup/verus.git?tag=keep/fdac1c3c52e639bf3e835802f63b4352#fdac1c3c52e639bf3e835802f63b43520379b1a1"
 
 [[package]]
 name = "builtin_macros"
 version = "0.1.0"
-source = "git+https://github.com/nspin/verus.git?tag=keep/fdac1c3c52e639bf3e835802f63b4352#fdac1c3c52e639bf3e835802f63b43520379b1a1"
+source = "git+https://github.com/coliasgroup/verus.git?tag=keep/fdac1c3c52e639bf3e835802f63b4352#fdac1c3c52e639bf3e835802f63b43520379b1a1"
 dependencies = [
  "prettyplease_verus",
  "proc-macro2",
@@ -1612,7 +1612,7 @@ dependencies = [
 [[package]]
 name = "prettyplease_verus"
 version = "0.1.15"
-source = "git+https://github.com/nspin/verus.git?tag=keep/fdac1c3c52e639bf3e835802f63b4352#fdac1c3c52e639bf3e835802f63b43520379b1a1"
+source = "git+https://github.com/coliasgroup/verus.git?tag=keep/fdac1c3c52e639bf3e835802f63b4352#fdac1c3c52e639bf3e835802f63b43520379b1a1"
 dependencies = [
  "proc-macro2",
  "syn_verus",
@@ -2951,7 +2951,7 @@ dependencies = [
 [[package]]
 name = "syn_verus"
 version = "1.0.95"
-source = "git+https://github.com/nspin/verus.git?tag=keep/fdac1c3c52e639bf3e835802f63b4352#fdac1c3c52e639bf3e835802f63b43520379b1a1"
+source = "git+https://github.com/coliasgroup/verus.git?tag=keep/fdac1c3c52e639bf3e835802f63b4352#fdac1c3c52e639bf3e835802f63b43520379b1a1"
 dependencies = [
  "proc-macro2",
  "quote",
@@ -3296,7 +3296,7 @@ source = "git+https://github.com/coliasgroup/volatile.git?tag=keep/aa7512906e9b7
 [[package]]
 name = "vstd"
 version = "0.1.0"
-source = "git+https://github.com/nspin/verus.git?tag=keep/fdac1c3c52e639bf3e835802f63b4352#fdac1c3c52e639bf3e835802f63b43520379b1a1"
+source = "git+https://github.com/coliasgroup/verus.git?tag=keep/fdac1c3c52e639bf3e835802f63b4352#fdac1c3c52e639bf3e835802f63b43520379b1a1"
 dependencies = [
  "builtin",
  "builtin_macros",
diff --git a/crates/private/tests/root-task/verus/core/Cargo.toml b/crates/private/tests/root-task/verus/core/Cargo.toml
index 742b32a88..24f08340e 100644
--- 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
index 09b09a851..2c11b6561 100644
--- 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
index 47d650c0f..4f4826e08 100644
--- 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 {