exe:g4ip-prover

Dependencies

• array lib:array >=0.5 && <1.0
• base lib:base >=4.9 && <4.10
• directory lib:directory >=1.0 && <2.0
• system-filepath lib:system-filepath >=0.4 && <1.0

Reverse dependencies

None.