| No. |
Outcome |
Compiler |
OS |
Arch |
Flags |
Details |
| Install |
Docs |
Tests |
| #1 |
DependencyFailed bindings-yices-0.2 |
NotTried |
NotTried |
ghc-7.6.3 |
linux |
x86_64 |
none
|
More details |
| #2 |
DependencyFailed bindings-yices-0.2 |
NotTried |
NotTried |
ghc-7.6.3 |
linux |
x86_64 |
none
|
More details |
| #3 |
DependencyFailed bindings-yices-0.2 |
NotTried |
NotTried |
ghc-7.8.3 |
linux |
x86_64 |
none
|
More details |
| #4 |
DependencyFailed bindings-yices-0.3.0.2 |
NotTried |
NotTried |
ghc-7.10.2 |
linux |
x86_64 |
none
|
More details |
| #5 |
DependencyFailed bindings-yices-0.3.0.2 |
NotTried |
NotTried |
ghc-7.10.2 |
linux |
x86_64 |
none
|
More details |
| #6 |
DependencyFailed bindings-yices-0.3.0.2 |
NotTried |
NotTried |
ghc-7.10.2 |
linux |
x86_64 |
none
|
More details |
| #7 |
DependencyFailed bindings-yices-0.3.0.2 |
NotTried |
NotTried |
ghc-8.0.1.20161018 |
linux |
x86_64 |
none
|
More details |
| #8 |
DependencyFailed bindings-yices-0.3.0.2 |
NotTried |
NotTried |
ghc-8.0.1.20161018 |
linux |
x86_64 |
none
|
More details |
| #9 |
DependencyFailed bindings-yices-0.3.0.2 |
NotTried |
NotTried |
ghc-8.0.1.20161018 |
linux |
x86_64 |
none
|
More details |
| #10 |
DependencyFailed bindings-yices-0.3.0.2 |
NotTried |
NotTried |
ghc-8.0.1.20161018 |
linux |
x86_64 |
none
|
More details |
| #11 |
DependencyFailed bindings-yices-0.3.0.2 |
NotTried |
NotTried |
ghc-8.0.1.20161018 |
linux |
x86_64 |
none
|
More details |
| #12 |
DependencyFailed bindings-yices-0.3.0.2 |
NotTried |
NotTried |
ghc-8.0.1.20161018 |
linux |
x86_64 |
none
|
More details |
| #13 |
DependencyFailed bindings-yices-0.3.0.2 |
NotTried |
NotTried |
ghc-8.0.1.20161018 |
linux |
x86_64 |
none
|
More details |