update manifests

This commit is contained in:
Georgio Nicolas
2026-01-28 17:54:06 +01:00
parent 06a6df1365
commit dc98a2aed0
2 changed files with 22 additions and 32 deletions
Generated
+22 -22
View File
@@ -1477,7 +1477,7 @@ checksum = "773648b94d0e5d620f64f280777445740e61fe701025087ec8b57f45c791888b"
[[package]]
name = "core-models"
version = "0.0.5"
source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1"
source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d"
dependencies = [
"hax-lib",
"pastey 0.2.1",
@@ -4455,7 +4455,7 @@ checksum = "bcc35a38544a891a5f7c865aca548a982ccb3b8650a5b06d0fd33a10283c56fc"
[[package]]
name = "libcrux-aesgcm"
version = "0.0.6"
source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1"
source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d"
dependencies = [
"libcrux-intrinsics",
"libcrux-platform",
@@ -4466,7 +4466,7 @@ dependencies = [
[[package]]
name = "libcrux-chacha20poly1305"
version = "0.0.5"
source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1"
source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d"
dependencies = [
"libcrux-hacl-rs",
"libcrux-macros",
@@ -4478,7 +4478,7 @@ dependencies = [
[[package]]
name = "libcrux-curve25519"
version = "0.0.5"
source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1"
source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d"
dependencies = [
"libcrux-hacl-rs",
"libcrux-macros",
@@ -4489,7 +4489,7 @@ dependencies = [
[[package]]
name = "libcrux-ecdh"
version = "0.0.5"
source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1"
source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d"
dependencies = [
"libcrux-curve25519",
"libcrux-p256",
@@ -4500,7 +4500,7 @@ dependencies = [
[[package]]
name = "libcrux-ed25519"
version = "0.0.5"
source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1"
source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d"
dependencies = [
"libcrux-hacl-rs",
"libcrux-macros",
@@ -4512,7 +4512,7 @@ dependencies = [
[[package]]
name = "libcrux-hacl-rs"
version = "0.0.4"
source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1"
source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d"
dependencies = [
"libcrux-macros",
]
@@ -4520,7 +4520,7 @@ dependencies = [
[[package]]
name = "libcrux-hkdf"
version = "0.0.5"
source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1"
source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d"
dependencies = [
"libcrux-hacl-rs",
"libcrux-hmac",
@@ -4530,7 +4530,7 @@ dependencies = [
[[package]]
name = "libcrux-hmac"
version = "0.0.5"
source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1"
source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d"
dependencies = [
"libcrux-hacl-rs",
"libcrux-macros",
@@ -4540,7 +4540,7 @@ dependencies = [
[[package]]
name = "libcrux-intrinsics"
version = "0.0.5"
source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1"
source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d"
dependencies = [
"core-models",
"hax-lib",
@@ -4549,7 +4549,7 @@ dependencies = [
[[package]]
name = "libcrux-kem"
version = "0.0.5"
source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1"
source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d"
dependencies = [
"libcrux-curve25519",
"libcrux-ecdh",
@@ -4564,7 +4564,7 @@ dependencies = [
[[package]]
name = "libcrux-macros"
version = "0.0.3"
source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1"
source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d"
dependencies = [
"quote",
"syn 2.0.114",
@@ -4573,7 +4573,7 @@ dependencies = [
[[package]]
name = "libcrux-ml-dsa"
version = "0.0.6"
source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1"
source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d"
dependencies = [
"core-models",
"hax-lib",
@@ -4587,7 +4587,7 @@ dependencies = [
[[package]]
name = "libcrux-ml-kem"
version = "0.0.6"
source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1"
source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d"
dependencies = [
"hax-lib",
"libcrux-intrinsics",
@@ -4602,7 +4602,7 @@ dependencies = [
[[package]]
name = "libcrux-p256"
version = "0.0.5"
source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1"
source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d"
dependencies = [
"libcrux-hacl-rs",
"libcrux-macros",
@@ -4614,7 +4614,7 @@ dependencies = [
[[package]]
name = "libcrux-platform"
version = "0.0.3"
source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1"
source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d"
dependencies = [
"libc",
]
@@ -4622,7 +4622,7 @@ dependencies = [
[[package]]
name = "libcrux-poly1305"
version = "0.0.4"
source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1"
source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d"
dependencies = [
"libcrux-hacl-rs",
"libcrux-macros",
@@ -4631,7 +4631,7 @@ dependencies = [
[[package]]
name = "libcrux-psq"
version = "0.0.6"
source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1"
source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d"
dependencies = [
"classic-mceliece-rust",
"libcrux-aesgcm",
@@ -4653,7 +4653,7 @@ dependencies = [
[[package]]
name = "libcrux-secrets"
version = "0.0.5"
source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1"
source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d"
dependencies = [
"hax-lib",
]
@@ -4661,7 +4661,7 @@ dependencies = [
[[package]]
name = "libcrux-sha2"
version = "0.0.5"
source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1"
source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d"
dependencies = [
"libcrux-hacl-rs",
"libcrux-macros",
@@ -4671,7 +4671,7 @@ dependencies = [
[[package]]
name = "libcrux-sha3"
version = "0.0.6"
source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1"
source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d"
dependencies = [
"hax-lib",
"libcrux-intrinsics",
@@ -4682,7 +4682,7 @@ dependencies = [
[[package]]
name = "libcrux-traits"
version = "0.0.5"
source = "git+https://github.com/jstuczyn/libcrux?branch=jstuczyn%2Fpsq-dkhem-utils#647b8b5fc9ffd3368cc832b5a97f86fcf3360af1"
source = "git+https://github.com/cryspen/libcrux#6a8cb267f85e46ad00dac29e901c51aa71b2313d"
dependencies = [
"libcrux-secrets",
"rand 0.9.2",
-10
View File
@@ -552,16 +552,6 @@ wasm-bindgen-test = "0.3.49"
wasmtimer = "0.4.1"
web-sys = "0.3.76"
# temporary workaround until relevant changes are merged upstream
[patch."https://github.com/cryspen/libcrux"]
libcrux-kem = { git = "https://github.com/jstuczyn/libcrux", branch = "jstuczyn/psq-dkhem-utils" }
libcrux-ecdh = { git = "https://github.com/jstuczyn/libcrux", branch = "jstuczyn/psq-dkhem-utils" }
libcrux-chacha20poly1305 = { git = "https://github.com/jstuczyn/libcrux", branch = "jstuczyn/psq-dkhem-utils" }
libcrux-psq = { git = "https://github.com/jstuczyn/libcrux", branch = "jstuczyn/psq-dkhem-utils" }
libcrux-ml-kem = { git = "https://github.com/jstuczyn/libcrux", branch = "jstuczyn/psq-dkhem-utils" }
libcrux-sha3 = { git = "https://github.com/jstuczyn/libcrux", branch = "jstuczyn/psq-dkhem-utils" }
libcrux-traits = { git = "https://github.com/jstuczyn/libcrux", branch = "jstuczyn/psq-dkhem-utils" }
# for local development:
#[patch.crates-io]