Build #1 for nanoAgda-1.0.0

[all reports]

Package nanoAgda-1.0.0
Install PlanningFailed
Docs NotTried
Tests NotTried
Time submitted 2015-05-20 18:05:38.851243 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:
trying: nanoAgda-1.0.0 (user goal)
next goal: BNFC-meta (dependency of nanoAgda-1.0.0)
rejecting: BNFC-meta-,, 0.4 (conflict: nanoAgda =>
trying: BNFC-meta-
trying: haskell-src-meta- (dependency of BNFC-meta-
next goal: th-orphans (dependency of haskell-src-meta-
rejecting: th-orphans-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.

Test log

No test log was submitted for this report.