Links for haskellpackages-g4ip-prover