Build reports for g4ip-prover-2.0.0.0

No. Outcome Compiler OS Arch Flags Details
Install Docs Tests
#1 InstallOk Ok NotTried ghc-8.6.1 linux x86_64 none More details