Drop local dependency

cryspen · Jun 27, 2024 · 6351489 · 6351489
1 parent d763df0
commit 6351489
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 11 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -17,10 +17,10 @@ backtrace = "0.3.0"
 rand = "0.8.0"
 hex = "0.4.3"
 tracing = "0.1"
-libcrux-kem = {version = "0.0.2-pre.2", features = ["kyber"], path = "/home/jonas/git/libcrux/libcrux-kem"}
+libcrux-kem = {version = "0.0.2-pre.2", features = ["kyber"], git = "https://github.com/cryspen/libcrux.git", branch = "dev"}
 libcrux = { version = "0.0.2-pre.2", features = [
     "rand",
-], path = "/home/jonas/git/libcrux" }
+], git = "https://github.com/cryspen/libcrux.git", branch = "dev" }
 hax-lib-macros = { git = "https://github.com/hacspec/hax", optional = true }
 hax-lib = { git = "https://github.com/hacspec/hax" }