Change URL of mbedtls repository

seL4 · Sep 29, 2023 · d6e1390 · d6e1390
1 parent fbc5848
commit d6e1390
Show file tree

Hide file tree

Showing 5 changed files with 10 additions and 10 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/crates/examples/microkit/http-server/pds/server/core/Cargo.toml b/crates/examples/microkit/http-server/pds/server/core/Cargo.toml
@@ -20,7 +20,7 @@ sel4-async-timers = { path = "../../../../../../sel4-async/timers" }
 sel4-panicking-env = { path = "../../../../../../sel4-panicking/env" }
 
 [dependencies.mbedtls]
-git = "https://github.com/nspin/rust-mbedtls"
+git = "https://github.com/coliasgroup/rust-mbedtls"
 tag = "keep/6eef662dbf636d1ccf86078143b6854f"
 default-features = false
 features = ["no_std_deps"]

diff --git a/crates/private/tests/root-task/mbedtls/Cargo.toml b/crates/private/tests/root-task/mbedtls/Cargo.toml
@@ -12,18 +12,18 @@ sel4-logging = { path = "../../../../sel4-logging" }
 sel4-root-task = { path = "../../../../sel4-root-task" }
 
 [dependencies.mbedtls]
-git = "https://github.com/nspin/rust-mbedtls"
+git = "https://github.com/coliasgroup/rust-mbedtls"
 tag = "keep/6eef662dbf636d1ccf86078143b6854f"
 default-features = false
 features = ["no_std_deps", "debug"]
 
 [dependencies.mbedtls-platform-support]
-git = "https://github.com/nspin/rust-mbedtls"
+git = "https://github.com/coliasgroup/rust-mbedtls"
 tag = "keep/6eef662dbf636d1ccf86078143b6854f"
 default-features = false
 
 [dependencies.mbedtls-sys-auto]
-git = "https://github.com/nspin/rust-mbedtls"
+git = "https://github.com/coliasgroup/rust-mbedtls"
 tag = "keep/6eef662dbf636d1ccf86078143b6854f"
 default-features = false
 

diff --git a/crates/sel4-async/network/mbedtls/Cargo.toml b/crates/sel4-async/network/mbedtls/Cargo.toml
@@ -13,7 +13,7 @@ sel4-async-network = { path = ".." }
 sel4-async-network-mbedtls-mozilla-ca-list = { path = "./mozilla-ca-list" }
 
 [dependencies.mbedtls]
-git = "https://github.com/nspin/rust-mbedtls"
+git = "https://github.com/coliasgroup/rust-mbedtls"
 tag = "keep/6eef662dbf636d1ccf86078143b6854f"
 default-features = false
 features = ["no_std_deps"]
diff --git a/hacking/nix/scope/generated-cargo-manifests/default.nix b/hacking/nix/scope/generated-cargo-manifests/default.nix
@@ -107,8 +107,8 @@ let
       };
 
       mbedtlsSource = {
-        git = "https://github.com/nspin/rust-mbedtls";
-        tag = "keep/6eef662dbf636d1ccf86078143b6854f";
+        git = "https://github.com/coliasgroup/rust-mbedtls";
+        tag = "keep/6eef662dbf636d1ccf86078143b6854f"; # branch sel4
       };
 
       mbedtlsWith = features: filterOutEmptyFeatureList (mbedtlsSource // {