Spracherkennung für: .orig vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
[package]
name = "libcrux-hacl-rs"
description = "Formally verified Rust code extracted from HACL* - helper library"
version = "
0.
0.
3"
authors.workspace = true
license.workspace = true
homepage.workspace = true
edition.workspace = true
repository.workspace = true
readme.workspace = true
# See more keys and their definitions at
https://doc.rust-lang.org/cargo/reference/manifest.html
[dependencies]
libcrux-macros = { version = "=
0.
0.
3", path = "../macros" }
[lib]
[Dauer der Verarbeitung: 0.29 Sekunden]
