Build #3 for uAgda-

[all reports]

Package uAgda-
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
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-, (global constraint requires ==
trying: uAgda-
next goal: BNFC-meta (dependency of uAgda-
rejecting: BNFC-meta-,,, 0.4,,,,,, 0.3 (conflict: uAgda => BNFC-meta==0.2.*)
trying: BNFC-meta-0.2.2
trying: haskell-src-meta- (dependency of BNFC-meta-0.2.2)
next goal: haskell-src-exts (dependency of haskell-src-meta-
rejecting: haskell-src-exts-1.17.0 (conflict: haskell-src-meta =>
trying: haskell-src-exts-
trying: cpphs-1.19.3 (dependency of haskell-src-exts-
trying: polyparse-1.11 (dependency of cpphs-1.19.3)
next goal: bytestring (dependency of polyparse-1.11)
rejecting: bytestring- (conflict: deepseq==,
bytestring => deepseq==
trying: bytestring-
trying: directory- (dependency of cpphs-1.19.3)
next goal: unix (dependency of directory-
rejecting: unix- (conflict: bytestring==, unix
=> bytestring==
rejecting: unix-,,,,,,,,,,,,,,,,, 2.0 (conflict: directory => unix==
Dependency tree exhaustively searched.