It's used at build time in 8 crates (of which 4 optionally, 2 directly).
Depender (with downloads and own rev deps) | polyhorn-build version | |||
---|---|---|---|---|
1 | polyhorn-android-sys | build | ^0.4.0 | |
1 | polyhorn-ios-sys | build | ^0.4.0 |
It's used at build time in 8 crates (of which 4 optionally, 2 directly).
Depender (with downloads and own rev deps) | polyhorn-build version | |||
---|---|---|---|---|
1 | polyhorn-android-sys | build | ^0.4.0 | |
1 | polyhorn-ios-sys | build | ^0.4.0 |