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