Cargo.toml.orig - mozsearch

Enable keyboard shortcuts

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