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 | |