Build #5 for nanoAgda-1.0.0

[all reports]

Package nanoAgda-1.0.0
Install PlanningFailed
Docs NotTried
Tests NotTried
Time submitted 2015-11-13 14:48:36.308828 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:
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-
trying: haskell-src-exts- (dependency of haskell-src-meta-
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.

Test log

No test log was submitted for this report.