[]
= "polyhorn-android-sys"
= "0.3.1"
= ["Tim <tim@glacyr.com>"]
= "2018"
= "MIT"
= "Low-level Android bindings for Polyhorn."
= "https://github.com/polyhorn/polyhorn/tree/crates/polyhorn-android-sys"
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
[]
= "0.17.0"
= "0.2.79"
= "0.4.11"
[]
= { = "../polyhorn-build", = "0.3.0" }