Build #1 for liquidhaskell-0.8.2.2
Package | liquidhaskell-0.8.2.2 |
---|
Install | PlanningFailed |
---|---|
Docs | NotTried |
Tests | NotTried |
Time submitted | 2017-12-29 05:03:01.88152564 UTC |
---|---|
Compiler | ghc-8.2.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: liquidhaskell-0.8.2.2 (user goal) next goal: liquid-fixpoint (dependency of liquidhaskell-0.8.2.2) rejecting: liquid-fixpoint-0.7.0.5, liquid-fixpoint-0.7.0.3, liquid-fixpoint-0.7.0.2, liquid-fixpoint-0.7.0.1, liquid-fixpoint-0.6.0.1, liquid-fixpoint-0.5.0.1, liquid-fixpoint-0.5.0.0, liquid-fixpoint-0.4.0.0, liquid-fixpoint-0.3.0.1, liquid-fixpoint-0.3.0.0, liquid-fixpoint-0.2.3.2, liquid-fixpoint-0.2.3.1, liquid-fixpoint-0.2.3.0, liquid-fixpoint-0.2.2.0, liquid-fixpoint-0.2.1.1, liquid-fixpoint-0.2.1.0, liquid-fixpoint-0.2.0.0, liquid-fixpoint-0.1.0.0 (conflict: liquidhaskell => liquid-fixpoint>=0.7.0.6) After searching the rest of the dependency tree exhaustively, these were the goals I've had most trouble fulfilling: liquidhaskell, liquid-fixpoint
Test log
No test log was submitted for this report.