From f1f138bcb5e51bf7e3225b3f80f82ac9cf271e7c Mon Sep 17 00:00:00 2001
From: "Jan Winkelmann (keks)" <jan@cryspen.com>
Date: Thu, 7 Nov 2024 16:27:37 +0100
Subject: [PATCH] fmt more Cargo.toml

---
 libcrux-curve25519/Cargo.toml   | 2 +-
 libcrux-ed25519/Cargo.toml      | 2 +-
 libcrux-hacl-rs-krml/Cargo.toml | 2 +-
 libcrux-hkdf/Cargo.toml         | 2 +-
 libcrux-hmac/Cargo.toml         | 2 +-
 5 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/libcrux-curve25519/Cargo.toml b/libcrux-curve25519/Cargo.toml
index d1d6f6b7d..d088d58a8 100644
--- a/libcrux-curve25519/Cargo.toml
+++ b/libcrux-curve25519/Cargo.toml
@@ -16,6 +16,6 @@ hacl = ["dep:libcrux-sha2", "dep:libcrux-hacl-rs", "dep:krml"]
 [dependencies]
 libcrux-hacl-rs = { path = "../libcrux-hacl-rs/", optional = true }
 libcrux-sha2 = { path = "../libcrux-sha2", optional = true, features = [
-  "hacl",
+    "hacl",
 ] }
 krml = { package = "libcrux-hacl-rs-krml", path = "../libcrux-hacl-rs-krml", optional = true }
diff --git a/libcrux-ed25519/Cargo.toml b/libcrux-ed25519/Cargo.toml
index 154cb3720..bfc571e74 100644
--- a/libcrux-ed25519/Cargo.toml
+++ b/libcrux-ed25519/Cargo.toml
@@ -16,6 +16,6 @@ hacl = ["dep:libcrux-sha2", "dep:libcrux-hacl-rs", "dep:krml"]
 [dependencies]
 libcrux-hacl-rs = { path = "../libcrux-hacl-rs/", optional = true }
 libcrux-sha2 = { path = "../libcrux-sha2", optional = true, features = [
-  "hacl",
+    "hacl",
 ] }
 krml = { package = "libcrux-hacl-rs-krml", path = "../libcrux-hacl-rs-krml", optional = true }
diff --git a/libcrux-hacl-rs-krml/Cargo.toml b/libcrux-hacl-rs-krml/Cargo.toml
index 0c4972b18..fe46d5a94 100644
--- a/libcrux-hacl-rs-krml/Cargo.toml
+++ b/libcrux-hacl-rs-krml/Cargo.toml
@@ -8,4 +8,4 @@ edition = "2021"
 [dependencies]
 
 [lib]
-proc-macro=true
+proc-macro = true
diff --git a/libcrux-hkdf/Cargo.toml b/libcrux-hkdf/Cargo.toml
index b0c200cb7..c682e701c 100644
--- a/libcrux-hkdf/Cargo.toml
+++ b/libcrux-hkdf/Cargo.toml
@@ -20,6 +20,6 @@ hacl = ["dep:libcrux-hmac", "dep:libcrux-hacl-rs", "dep:krml"]
 [dependencies]
 libcrux-hacl-rs = { path = "../libcrux-hacl-rs/", optional = true }
 libcrux-hmac = { path = "../libcrux-hmac", optional = true, features = [
-  "hacl",
+    "hacl",
 ] }
 krml = { package = "libcrux-hacl-rs-krml", path = "../libcrux-hacl-rs-krml", optional = true }
diff --git a/libcrux-hmac/Cargo.toml b/libcrux-hmac/Cargo.toml
index 4c60a59c6..2caaa3e81 100644
--- a/libcrux-hmac/Cargo.toml
+++ b/libcrux-hmac/Cargo.toml
@@ -20,6 +20,6 @@ hacl = ["dep:libcrux-sha2", "dep:libcrux-hacl-rs", "dep:krml"]
 [dependencies]
 libcrux-hacl-rs = { path = "../libcrux-hacl-rs/", optional = true }
 libcrux-sha2 = { path = "../libcrux-sha2", optional = true, features = [
-  "hacl",
+    "hacl",
 ] }
 krml = { package = "libcrux-hacl-rs-krml", path = "../libcrux-hacl-rs-krml", optional = true }