Build #1 for uAgda-

[all reports]

Package uAgda-
Install PlanningFailed
Docs NotTried
Tests NotTried
Time submitted 2015-06-10 00:34:50.534273 UTC
Compiler ghc-7.8.3
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: th-orphans (dependency of haskell-src-meta-
rejecting: th-orphans-0.12.1, 0.12.0 (conflict: haskell-src-meta =>
th-orphans>=0.9.1 && <0.12)
trying: th-orphans-0.11.1
trying: nats-1 (dependency of th-orphans-0.11.1)
trying: nats-1:+hashable
trying: hashable- (dependency of nats-1:+hashable)
next goal: bytestring (dependency of hashable-
rejecting: bytestring- (conflict: deepseq==,
bytestring => deepseq==
trying: bytestring-
trying: haskell-src-exts- (dependency of haskell-src-meta-
trying: cpphs-1.19 (dependency of haskell-src-exts-
trying: directory- (dependency of cpphs-1.19)
next goal: unix (dependency of directory-
rejecting: unix- (conflict: bytestring==, unix
=> bytestring==
rejecting: unix-,,,,,,,,,,,,,,,,, 2.0 (conflict: directory => unix==
Dependency tree exhaustively searched.