Build #6 for yices-painless-0.1.1
Package | yices-painless-0.1.1 |
---|
Install | PlanningFailed |
---|---|
Docs | NotTried |
Tests | NotTried |
Time submitted | 2016-12-28 13:01:35.48595 UTC |
---|---|
Compiler | ghc-8.0.1.20161018 |
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: next goal: yices-painless (user goal) rejecting: yices-painless-0.1.2 (constraint from user target requires ==0.1.1) trying: yices-painless-0.1.1 trying: base-4.9.0.0/installed-4.9... (dependency of yices-painless-0.1.1) next goal: strict-concurrency (dependency of yices-painless-0.1.1) rejecting: strict-concurrency-0.2.4.1, strict-concurrency-0.2.4 (conflict: base==4.9.0.0/installed-4.9..., strict-concurrency => base>=4 && <4.6) rejecting: strict-concurrency-0.2.3 (conflict: base==4.9.0.0/installed-4.9..., strict-concurrency => base>=3 && <4.3) rejecting: strict-concurrency-0.2.2, strict-concurrency-0.2.1 (conflict: base==4.9.0.0/installed-4.9..., strict-concurrency => base>=3 && <4) rejecting: strict-concurrency-0.2, strict-concurrency-0.1 (conflict: base==4.9.0.0/installed-4.9..., strict-concurrency => base<4.3) Dependency tree exhaustively searched.
Test log
No test log was submitted for this report.