Build reports for agda-snippets-2.4.2.4

Status: Built successfully.
No. Outcome Compiler OS Arch Flags Details
Install Docs Tests
#1 DependencyFailed equivalence-0.3.1 NotTried NotTried ghc-7.10.2 linux x86_64 none More details
#2 DependencyFailed haskell-src-exts-1.16.0.1 NotTried NotTried ghc-7.10.2 linux x86_64 none More details
#3 DependencyFailed Agda-2.4.2.4 NotTried NotTried ghc-7.10.2 linux x86_64 none More details
#4 PlanningFailed NotTried NotTried ghc-8.0.1.20161018 linux x86_64 none More details
#5 PlanningFailed NotTried NotTried ghc-8.0.1.20161018 linux x86_64 none More details