Quelle  Cargo.toml.orig   Sprache: unbekannt

[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]