| No. |
Outcome |
Compiler |
OS |
Arch |
Flags |
Details |
| Install |
Docs |
Tests |
| #1 |
DependencyFailed equivalence-0.2.6 |
NotTried |
NotTried |
ghc-7.8.3 |
linux |
x86_64 |
none
|
More details |
| #2 |
DependencyFailed Agda-2.4.2.3 |
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 |
DependencyFailed zip-archive-0.2.3.7 |
NotTried |
NotTried |
ghc-7.10.2 |
linux |
x86_64 |
none
|
More details |
| #5 |
DependencyFailed http-client-0.4.24 |
NotTried |
NotTried |
ghc-7.10.2 |
linux |
x86_64 |
none
|
More details |
| #6 |
DependencyFailed Agda-2.4.2.4 |
NotTried |
NotTried |
ghc-7.10.2 |
linux |
x86_64 |
none
|
More details |
| #7 |
DependencyFailed HJavaScript-0.4.7 |
NotTried |
NotTried |
ghc-8.0.1.20161018 |
linux |
x86_64 |
none
|
More details |
| #8 |
DependencyFailed HJavaScript-0.4.7 |
NotTried |
NotTried |
ghc-8.0.1.20161018 |
linux |
x86_64 |
none
|
More details |
| #9 |
DependencyFailed HJavaScript-0.4.7 |
NotTried |
NotTried |
ghc-8.0.1.20161018 |
linux |
x86_64 |
none
|
More details |