mcpat-sys 0.8.0

The package provides bindings to McPAT.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

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

[[package]]
name = "hiredis-sys"
version = "0.4.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "236458586a3ffa2d4979bd73c0b86b83297ebbebba172e1607ecf2151f8aa958"
dependencies = [
 "libc",
]

[[package]]
name = "libc"
version = "0.2.178"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "37c93d8daa9d8a012fd8ab92f088405fb202ea0b6ab73ee2482ae66af4f42091"

[[package]]
name = "mcpat-sys"
version = "0.8.0"
dependencies = [
 "hiredis-sys",
 "libc",
]