| No. |
Outcome |
Compiler |
OS |
Arch |
Flags |
Details |
| Install |
Docs |
Tests |
| #1 |
PlanningFailed |
NotTried |
NotTried |
ghc-7.8.3 |
linux |
x86_64 |
none
|
More details |
| #2 |
DependencyFailed Agda-2.4.2.2 |
NotTried |
NotTried |
ghc-7.8.3 |
linux |
x86_64 |
none
|
More details |
| #3 |
DependencyFailed equivalence-0.2.6 |
NotTried |
NotTried |
ghc-7.8.3 |
linux |
x86_64 |
none
|
More details |
| #4 |
DependencyFailed Agda-2.4.2.4 |
NotTried |
NotTried |
ghc-7.10.2 |
linux |
x86_64 |
none
|
More details |
| #5 |
DependencyFailed void-0.7.1 |
NotTried |
NotTried |
ghc-7.10.2 |
linux |
x86_64 |
none
|
More details |
| #6 |
DependencyFailed tls-1.3.3 |
NotTried |
NotTried |
ghc-7.10.2 |
linux |
x86_64 |
none
|
More details |
| #7 |
BuildFailed |
NotTried |
NotTried |
ghc-8.0.1.20161018 |
linux |
x86_64 |
none
|
More details |
| #8 |
BuildFailed |
NotTried |
NotTried |
ghc-8.0.1.20161018 |
linux |
x86_64 |
none
|
More details |