Build #3 for uAgda-1.2.0.2
| Package | uAgda-1.2.0.2 |
|---|
| Install | PlanningFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2015-11-25 16:55:40.187426 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 (global constraint requires ==1.2.0.2) trying: uAgda-1.2.0.2 next goal: BNFC-meta (dependency of uAgda-1.2.0.2) rejecting: BNFC-meta-0.4.0.3, 0.4.0.2, 0.4.0.1, 0.4, 0.3.0.5, 0.3.0.4, 0.3.0.3, 0.3.0.2, 0.3.0.1, 0.3 (conflict: uAgda => BNFC-meta==0.2.*) trying: BNFC-meta-0.2.2 trying: haskell-src-meta-0.6.0.12 (dependency of BNFC-meta-0.2.2) next goal: haskell-src-exts (dependency of haskell-src-meta-0.6.0.12) rejecting: haskell-src-exts-1.17.0 (conflict: haskell-src-meta => haskell-src-exts==1.16.*) trying: haskell-src-exts-1.16.0.1 trying: cpphs-1.19.3 (dependency of haskell-src-exts-1.16.0.1) trying: polyparse-1.11 (dependency of cpphs-1.19.3) next goal: bytestring (dependency of polyparse-1.11) rejecting: bytestring-0.10.6.0/installed-236... (conflict: deepseq==1.4.1.2, bytestring => deepseq==1.4.1.1/installed-8fb...) trying: bytestring-0.10.6.0 trying: directory-1.2.2.0/installed-258... (dependency of cpphs-1.19.3) next goal: unix (dependency of directory-1.2.2.0/installed-258...) rejecting: unix-2.7.1.0/installed-643... (conflict: bytestring==0.10.6.0, unix => bytestring==0.10.6.0/installed-236...) rejecting: unix-2.7.1.0, 2.7.0.1, 2.7.0.0, 2.6.0.1, 2.6.0.0, 2.5.1.1, 2.5.1.0, 2.5.0.0, 2.4.2.0, 2.4.1.0, 2.4.0.2, 2.4.0.1, 2.4.0.0, 2.3.2.0, 2.3.1.0, 2.3.0.0, 2.2.0.0, 2.0 (conflict: directory => unix==2.7.1.0/installed-643...) Dependency tree exhaustively searched.
Test log
No test log was submitted for this report.