Resolving dependencies...
Configuring g4ip-prover-0.1.0.0...
Building g4ip-prover-0.1.0.0...
Installed g4ip-prover-0.1.0.0