Build reports for ghc-proofs-0.1.1

Status: Built successfully.
No. Outcome Compiler OS Arch Flags Details
Install Docs Tests
#1 PlanningFailed NotTried NotTried ghc-8.0.2 linux x86_64 none More details
#2 PlanningFailed NotTried NotTried ghc-8.0.2 linux x86_64 none More details