veridical-simulation-core/Cargo.toml at main · hyperpolymath/veridical-simulation-core · GitHub

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
27
28
29
30
31
32
33
34
35
36
37
38
# SPDX-License-Identifier: MPL-2.0
# (MPL-2.0 is automatic legal fallback until PMPL is formally recognised)

[workspace]
resolver = "2"
members = [
    "rust-core/vsc-shared",
    "rust-core/agda-lexparse",
    "rust-core/agda-octad-importer",
    "rust-core/agda-octad-prober",
    "rust-core/cross-repo-bridge-probe",
    "rust-core/januskey-veridicality-probe",
    "rust-core/chimichanga-veridicality-probe",
    "rust-core/wharf-veridicality-probe",
    "rust-core/reversibility-cluster-compose",
]

[workspace.package]
version = "0.1.0"
authors = ["Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"]
edition = "2021"
license = "MPL-2.0"
# (MPL-2.0 preferred; MPL-2.0 declared explicitly because crates.io
# requires an OSI-approved licence on workspace member metadata.)

[workspace.dependencies]
serde = { version = "1", features = ["derive"] }
serde_json = "1"
clap = { version = "4", features = ["derive"] }
chrono = { version = "0.4", features = ["serde"] }
walkdir = "2"
anyhow = "1"
reqwest = { version = "0.12", features = ["json", "rustls-tls"], default-features = false }
tokio = { version = "1", features = ["full"] }
sha2 = "0.10"
hex = "0.4"
tempfile = "3"
uuid = { version = "1", features = ["v4"] }