Revision control

Copy as Markdown

Other Tools

[package]
name = "libcrux-p256"
description = "Formally verified P-256 implementation"
readme = "Readme.md"
version = "0.0.3"
authors.workspace = true
license.workspace = true
homepage.workspace = true
edition.workspace = true
repository.workspace = true
[dependencies]
libcrux-macros = { version = "=0.0.3", path = "../macros" }
libcrux-hacl-rs = { version = "=0.0.3", path = "../hacl-rs/" }
libcrux-sha2 = { version = "=0.0.3", path = "../sha2", features = [
"expose-hacl",
] }
[features]
expose-hacl = []