polyhorn-cli 0.4.2

[package]
name = "{name}"
version = "1.0.0"
edition = "2018"
publish = false

[dependencies]
polyhorn = "{version}"
polyhorn-test = "{version}"

[build-dependencies]
polyhorn-build = "{version}"