-
Notifications
You must be signed in to change notification settings - Fork 1
/
Cargo.toml
19 lines (18 loc) · 683 Bytes
/
Cargo.toml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
[package]
name = "itf"
version = "0.2.4"
edition = "2021"
license = "Apache-2.0"
readme = "README.md"
authors = ["Informal Systems <[email protected]>"]
keywords = ["apalache", "serialization", "trace"]
description = "Library for consuming Apalache ITF traces"
repository = "https://github.com/informalsystems/itf-rs"
documentation = "https://docs.rs/itf"
rust-version = "1.65"
[dependencies]
num-bigint = { version = "0.4", features = ["serde"] }
num-traits = { version = "0.2" }
serde = { version = "1", features = ["derive"] }
serde_json = { version = "1", features = ["raw_value"] }
serde_with = { version = "3.4.0" }