Build reports for Agda-2.4.2.4

Status: Built successfully.
No. Outcome Compiler OS Arch Flags Details
Install Docs Tests
#1 ConfigureFailed NotTried NotTried ghc-7.10.2 linux x86_64 cpphs More details
#2 ConfigureFailed NotTried NotTried ghc-7.10.2 linux x86_64 cpphs More details
#3 ConfigureFailed NotTried NotTried ghc-7.10.2 linux x86_64 cpphs More details
#4 DependencyFailed equivalence-0.3.1 NotTried NotTried ghc-7.10.2 linux x86_64 cpphs More details
#5 ConfigureFailed NotTried NotTried ghc-7.10.2 linux x86_64 cpphs More details