g4ip-prover-2.0.0.0: dependencies

Dependencies for g4ip-prover-2.0.0.0

library	array (>=0.5 && <1.0) base (>=4.9 && <5) directory (>=1.0 && <2.0) filepath (>=1.4 && <2)
g4ip-prover	array (>=0.5 && <1.0) base (>=4.9 && <5) directory (>=1.0 && <2.0) filepath (>=1.4 && <2)