Build #1 for uAgda-1.2.0.0
| Package | uAgda-1.2.0.0 |
|---|
| Install | PlanningFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2015-06-10 00:35:01.9953 UTC |
|---|---|
| Compiler | ghc-7.8.3 |
| 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 (global constraint requires ==1.2.0.0) trying: uAgda-1.2.0.0 trying: base-4.7.0.1/installed-e4b... (dependency of uAgda-1.2.0.0) next goal: BNFC-meta (dependency of uAgda-1.2.0.0) rejecting: BNFC-meta-0.4.0.2, 0.4.0.1, 0.4 (conflict: uAgda => BNFC-meta==0.3.*) trying: BNFC-meta-0.3.0.5 trying: syb-0.5.1 (dependency of BNFC-meta-0.3.0.5) trying: alex-meta-0.3.0.7 (dependency of BNFC-meta-0.3.0.5) next goal: haskell-src-meta (dependency of BNFC-meta-0.3.0.5) rejecting: haskell-src-meta-0.6.0.9, 0.6.0.8, 0.6.0.7, 0.6.0.6, 0.6.0.5, 0.6.0.4, 0.6.0.3 (conflict: syb==0.5.1, haskell-src-meta => syb>=0.1 && <0.5) rejecting: haskell-src-meta-0.6.0.2, 0.6.0.1, 0.6 (conflict: base==4.7.0.1/installed-e4b..., haskell-src-meta => base>=4.2 && <4.7) rejecting: haskell-src-meta-0.5.1.2 (conflict: base==4.7.0.1/installed-e4b..., haskell-src-meta => base>=4.2 && <4.6) rejecting: haskell-src-meta-0.5.1.1, 0.5.1, 0.5.0.3, 0.5.0.2, 0.5 (conflict: alex-meta => haskell-src-meta>=0.5.1.2 && <1.0) rejecting: haskell-src-meta-0.4.0.2, 0.4.0.1, 0.4, 0.3, 0.2, 0.1.1, 0.1.0, 0.0.6, 0.0.5, 0.0.4, 0.0.3.1, 0.0.3, 0.0.2, 0.0.1, 0.0.0 (conflict: BNFC-meta => haskell-src-meta>=0.5 && <1.0) Dependency tree exhaustively searched.
Test log
No test log was submitted for this report.