exe:g4ip-prover

Dependencies

• array lib:array >=0.5 && <1.0
• base lib:base >=4.9 && <4.10

Reverse dependencies

None.