Build #5 for yices-painless-0.1.2
| Package | yices-painless-0.1.2 |
|---|
| Install | PlanningFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2015-11-14 04:19:47.225923 UTC |
|---|---|
| Compiler | ghc-7.10.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... cabal: Could not resolve dependencies: trying: yices-painless-0.1.2 (user goal) trying: base-4.8.1.0/installed-4f7... (dependency of yices-painless-0.1.2) next goal: strict-concurrency (dependency of yices-painless-0.1.2) rejecting: strict-concurrency-0.2.4.1, 0.2.4 (conflict: base==4.8.1.0/installed-4f7..., strict-concurrency => base>=4 && <4.6) rejecting: strict-concurrency-0.2.3 (conflict: base==4.8.1.0/installed-4f7..., strict-concurrency => base>=3 && <4.3) rejecting: strict-concurrency-0.2.2, 0.2.1 (conflict: base==4.8.1.0/installed-4f7..., strict-concurrency => base>=3 && <4) rejecting: strict-concurrency-0.2, 0.1 (conflict: base==4.8.1.0/installed-4f7..., strict-concurrency => base<4.3) Dependency tree exhaustively searched.
Test log
No test log was submitted for this report.