ephapax-proven 0.1.0

Safe Rust wrappers for formally verified Proven library via pure Zig FFI
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
version = 4

[[package]]
name = "ephapax-proven"
version = "0.1.0"
dependencies = [
 "ephapax-proven-sys",
]

[[package]]
name = "ephapax-proven-sys"
version = "0.1.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "e1aacf07ce721555c2d6e8bc4d61a4b565464ef59e97d3b452d06b337d615a54"