From 06a75fcb89f3df9bd3dbbf1167f733f6601f9a85 Mon Sep 17 00:00:00 2001
From: Nick Spinale <nick@nickspinale.com>
Date: Wed, 29 May 2024 09:39:10 +0000
Subject: [PATCH] nix: Use coliasgroup Verus repo

Signed-off-by: Nick Spinale <nick@nickspinale.com>
---
 hacking/cargo-manifest-management/manifest-scope.nix | 4 ++--
 hacking/nix/scope/verus/default.nix                  | 6 ++----
 2 files changed, 4 insertions(+), 6 deletions(-)

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 {