From e6eeb17d4c751ad20a9559c015a476d895124a9a Mon Sep 17 00:00:00 2001 From: Prosecco Date: Fri, 29 Nov 2024 02:14:16 +0100 Subject: [PATCH] nightly update --- flake.lock | 24 ++++++++++++------------ libcrux-Cargo.lock | 22 +++++++++++----------- 2 files changed, 23 insertions(+), 23 deletions(-) diff --git a/flake.lock b/flake.lock index 04a1d60..8e56afa 100644 --- a/flake.lock +++ b/flake.lock @@ -192,11 +192,11 @@ ] }, "locked": { - "lastModified": 1732728203, - "narHash": "sha256-q+UYCakV4SN7ahyAVTnc05u8ZFJXjuioIbY/ocZfQF0=", + "lastModified": 1732799423, + "narHash": "sha256-RPgNP/2UXb/NVqVCJtlmtE6LU/3cRH2ZxRaxPuFq328=", "owner": "hacspec", "repo": "hax", - "rev": "af46dd63a71583c558484c2c43d0734b936db36a", + "rev": "1c5e17c9ceee5adede0f4ea7f68bb3d8337f33a0", "type": "github" }, "original": { @@ -263,11 +263,11 @@ ] }, "locked": { - "lastModified": 1732696172, - "narHash": "sha256-CDQFS6lqXDEtyW05npfcb5SR5i+XDFNyt/oinMFX35Q=", + "lastModified": 1732798264, + "narHash": "sha256-RjTJQcq12+Cu9FawclCJS89x567GVfN4DWYFPczli20=", "owner": "cryspen", "repo": "libcrux", - "rev": "d5e4a0f9129addbf22cc9d931a628c4461db99a2", + "rev": "6ede996fcbffccb8f7bb47657cd82e6b71319c51", "type": "github" }, "original": { @@ -293,11 +293,11 @@ }, "nixpkgs_2": { "locked": { - "lastModified": 1732753986, - "narHash": "sha256-AB3nSgljlH7GCEuVJ5jnMHCkNAJ9xjSzvpRpZerqKmw=", + "lastModified": 1732841687, + "narHash": "sha256-UhzL++BnE3vqfPUk7gsrHEksspWCLMlnMIyMShqLwQA=", "owner": "nixos", "repo": "nixpkgs", - "rev": "ad34a33ee8c36c8d11b43adb133a52ee637ced7c", + "rev": "5b9f28cf6e427c662ffc15f7a5dd5326896e9919", "type": "github" }, "original": { @@ -354,11 +354,11 @@ ] }, "locked": { - "lastModified": 1732674798, - "narHash": "sha256-oM1gjCv9R4zxDFO3as9wqQ4FI3+pDA9MKZ72L7tTIII=", + "lastModified": 1732802692, + "narHash": "sha256-kFrxb45qj52TT/OFUFyTdmvXkn/KXDUL0/DOtjHEQvs=", "owner": "oxalica", "repo": "rust-overlay", - "rev": "1d569430326b0a7807ccffdb2a188b814091976c", + "rev": "34971069ec33755b2adf2481851f66d8ec9a6bfa", "type": "github" }, "original": { diff --git a/libcrux-Cargo.lock b/libcrux-Cargo.lock index 40f5636..c7434f1 100644 --- a/libcrux-Cargo.lock +++ b/libcrux-Cargo.lock @@ -609,12 +609,12 @@ dependencies = [ [[package]] name = "errno" -version = "0.3.9" +version = "0.3.10" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "534c5cf6194dfab3db3242765c03bbe257cf92f22b38f6bc0c58d59108a820ba" +checksum = "33d852cb9b869c2a9b3df2f71a3074817f01e1844f839a144f5fcef059a4eb5d" dependencies = [ "libc", - "windows-sys 0.52.0", + "windows-sys 0.59.0", ] [[package]] @@ -708,7 +708,7 @@ dependencies = [ [[package]] name = "hax-lib" version = "0.1.0-alpha.1" -source = "git+https://github.com/hacspec/hax/?branch=main#af46dd63a71583c558484c2c43d0734b936db36a" +source = "git+https://github.com/hacspec/hax/?branch=main#1c5e17c9ceee5adede0f4ea7f68bb3d8337f33a0" dependencies = [ "hax-lib-macros 0.1.0-alpha.1 (git+https://github.com/hacspec/hax/?branch=main)", "num-bigint", @@ -718,7 +718,7 @@ dependencies = [ [[package]] name = "hax-lib" version = "0.1.0-alpha.1" -source = "git+https://github.com/hacspec/hax/#af46dd63a71583c558484c2c43d0734b936db36a" +source = "git+https://github.com/hacspec/hax/#1c5e17c9ceee5adede0f4ea7f68bb3d8337f33a0" dependencies = [ "hax-lib-macros 0.1.0-alpha.1 (git+https://github.com/hacspec/hax/)", "num-bigint", @@ -728,7 +728,7 @@ dependencies = [ [[package]] name = "hax-lib-macros" version = "0.1.0-alpha.1" -source = "git+https://github.com/hacspec/hax/?branch=main#af46dd63a71583c558484c2c43d0734b936db36a" +source = "git+https://github.com/hacspec/hax/?branch=main#1c5e17c9ceee5adede0f4ea7f68bb3d8337f33a0" dependencies = [ "hax-lib-macros-types 0.1.0-alpha.1 (git+https://github.com/hacspec/hax/?branch=main)", "paste", @@ -741,7 +741,7 @@ dependencies = [ [[package]] name = "hax-lib-macros" version = "0.1.0-alpha.1" -source = "git+https://github.com/hacspec/hax/#af46dd63a71583c558484c2c43d0734b936db36a" +source = "git+https://github.com/hacspec/hax/#1c5e17c9ceee5adede0f4ea7f68bb3d8337f33a0" dependencies = [ "hax-lib-macros-types 0.1.0-alpha.1 (git+https://github.com/hacspec/hax/)", "paste", @@ -754,7 +754,7 @@ dependencies = [ [[package]] name = "hax-lib-macros-types" version = "0.1.0-alpha.1" -source = "git+https://github.com/hacspec/hax/?branch=main#af46dd63a71583c558484c2c43d0734b936db36a" +source = "git+https://github.com/hacspec/hax/?branch=main#1c5e17c9ceee5adede0f4ea7f68bb3d8337f33a0" dependencies = [ "proc-macro2", "quote", @@ -766,7 +766,7 @@ dependencies = [ [[package]] name = "hax-lib-macros-types" version = "0.1.0-alpha.1" -source = "git+https://github.com/hacspec/hax/#af46dd63a71583c558484c2c43d0734b936db36a" +source = "git+https://github.com/hacspec/hax/#1c5e17c9ceee5adede0f4ea7f68bb3d8337f33a0" dependencies = [ "proc-macro2", "quote", @@ -1424,9 +1424,9 @@ dependencies = [ [[package]] name = "pqcrypto-internals" -version = "0.2.6" +version = "0.2.7" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "e10cdd9eee50fe65bbd4f40211f1a492f1ee52e97a51100950b6f1fa319ab7cd" +checksum = "62cd8ebf02b43967cda06e6a3f54d0bd9659459c3003d16aeedd07b44c6db06c" dependencies = [ "cc", "dunce",