From 31f630f438dbbda9e7338c89c30e40b0f477bee7 Mon Sep 17 00:00:00 2001 From: Prosecco Date: Thu, 28 Nov 2024 02:14:13 +0100 Subject: [PATCH] nightly update --- flake.lock | 18 +++++++++--------- libcrux-Cargo.lock | 12 ++++++------ 2 files changed, 15 insertions(+), 15 deletions(-) diff --git a/flake.lock b/flake.lock index b9cff77..04a1d60 100644 --- a/flake.lock +++ b/flake.lock @@ -47,11 +47,11 @@ ] }, "locked": { - "lastModified": 1732661109, - "narHash": "sha256-JNcosq05JwRUnGb/ibthiUT8BHAJSmDtFJyKV7fwIjM=", + "lastModified": 1732713177, + "narHash": "sha256-wG+PavPKAM4w4E5Wvwu2EeTZb06Z/17u16b26Atz9js=", "owner": "aeneasverif", "repo": "charon", - "rev": "3402870cbf5b49d92fd18c312831ef30a14e6a5b", + "rev": "5bd46003fe1b681d6fa3910d5bb329881d732406", "type": "github" }, "original": { @@ -192,11 +192,11 @@ ] }, "locked": { - "lastModified": 1732695645, - "narHash": "sha256-zZT7owazRFjnLo03m96VZ11DFYb1YVz1s0BWwteJYSk=", + "lastModified": 1732728203, + "narHash": "sha256-q+UYCakV4SN7ahyAVTnc05u8ZFJXjuioIbY/ocZfQF0=", "owner": "hacspec", "repo": "hax", - "rev": "7bb4c2856fd10ab665feaea1d7eb3b8d432d5af6", + "rev": "af46dd63a71583c558484c2c43d0734b936db36a", "type": "github" }, "original": { @@ -293,11 +293,11 @@ }, "nixpkgs_2": { "locked": { - "lastModified": 1732700907, - "narHash": "sha256-ZxkFup7yaK0Rqp7sCCGwP1HGOFew7OxFDNHft2GyTZg=", + "lastModified": 1732753986, + "narHash": "sha256-AB3nSgljlH7GCEuVJ5jnMHCkNAJ9xjSzvpRpZerqKmw=", "owner": "nixos", "repo": "nixpkgs", - "rev": "6b88838224de5b86f449e9d01755eae4efe4a1e4", + "rev": "ad34a33ee8c36c8d11b43adb133a52ee637ced7c", "type": "github" }, "original": { diff --git a/libcrux-Cargo.lock b/libcrux-Cargo.lock index 5f3caec..40f5636 100644 --- a/libcrux-Cargo.lock +++ b/libcrux-Cargo.lock @@ -708,7 +708,7 @@ dependencies = [ [[package]] name = "hax-lib" version = "0.1.0-alpha.1" -source = "git+https://github.com/hacspec/hax/?branch=main#7bb4c2856fd10ab665feaea1d7eb3b8d432d5af6" +source = "git+https://github.com/hacspec/hax/?branch=main#af46dd63a71583c558484c2c43d0734b936db36a" 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/#7bb4c2856fd10ab665feaea1d7eb3b8d432d5af6" +source = "git+https://github.com/hacspec/hax/#af46dd63a71583c558484c2c43d0734b936db36a" 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#7bb4c2856fd10ab665feaea1d7eb3b8d432d5af6" +source = "git+https://github.com/hacspec/hax/?branch=main#af46dd63a71583c558484c2c43d0734b936db36a" 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/#7bb4c2856fd10ab665feaea1d7eb3b8d432d5af6" +source = "git+https://github.com/hacspec/hax/#af46dd63a71583c558484c2c43d0734b936db36a" 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#7bb4c2856fd10ab665feaea1d7eb3b8d432d5af6" +source = "git+https://github.com/hacspec/hax/?branch=main#af46dd63a71583c558484c2c43d0734b936db36a" 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/#7bb4c2856fd10ab665feaea1d7eb3b8d432d5af6" +source = "git+https://github.com/hacspec/hax/#af46dd63a71583c558484c2c43d0734b936db36a" dependencies = [ "proc-macro2", "quote",