Build #3 for uAgda-1.0.0.0
Package | uAgda-1.0.0.0 |
---|
Install | PlanningFailed |
---|---|
Docs | NotTried |
Tests | NotTried |
Time submitted | 2015-11-25 16:56:05.206007 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: next goal: uAgda (user goal) rejecting: uAgda-1.2.0.4, 1.2.0.3, 1.2.0.2, 1.2.0.1, 1.2.0.0, 1.1.0.0, 1.0.0.2, 1.0.0.1 (global constraint requires ==1.0.0.0) trying: uAgda-1.0.0.0 next goal: monads-fd (dependency of uAgda-1.0.0.0) rejecting: monads-fd-0.2.0.0 (conflict: uAgda => monads-fd==0.1.*) rejecting: monads-fd-0.1.0.4 (conflict: base==4.8.1.0/installed-4f7..., monads-fd => base<4.6) trying: monads-fd-0.1.0.3 trying: mtl-2.2.1 (dependency of monads-fd-0.1.0.3) next goal: transformers (dependency of uAgda-1.0.0.0) rejecting: transformers-0.4.2.0/installed-21d..., 0.4.3.0, 0.4.2.0, 0.4.1.0, 0.3.0.0 (conflict: uAgda => transformers==0.2.*) rejecting: transformers-0.2.2.1, 0.2.2.0, 0.2.1.0, 0.2.0.0 (conflict: mtl => transformers==0.4.*) rejecting: transformers-0.1.4.0, 0.1.3.0, 0.1.1.0, 0.1.0.1, 0.1.0.0, 0.0.1.0, 0.0.0.0, 0.4.0.0 (conflict: uAgda => transformers==0.2.*) Dependency tree exhaustively searched.
Test log
No test log was submitted for this report.