From f231c8599a057a13e35d1f15176d03c477b9b3cf Mon Sep 17 00:00:00 2001 From: Franziskus Kiefer Date: Wed, 12 Jun 2024 11:17:58 +0200 Subject: [PATCH] update lock --- Cargo.lock | 7 ------- 1 file changed, 7 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index 0b33d0864..a8e8f334e 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -1028,13 +1028,6 @@ dependencies = [ "rand", ] -[[package]] -name = "libcrux-simd" -version = "0.0.2-pre.2" -dependencies = [ - "libcrux-platform", -] - [[package]] name = "libfuzzer-sys" version = "0.4.7"