point to zksecurity repo

zksecurity · Oct 24, 2024 · 328ffbf · 328ffbf
1 parent c2c78c9
commit 328ffbf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/cli/packages.rs b/src/cli/packages.rs
@@ -276,7 +276,7 @@ pub fn download_from_github(dep: &UserRepo) -> Result<()> {
 
 pub fn download_stdlib() -> Result<()> {
     // Hardcoded repository details and target branch
-    let repo_owner = "katat";
+    let repo_owner = "zksecurity";
     let repo_name = "noname";
     let target_branch = "release";
     let repo_url = format!(