Build #2 for uAgda-1.2.0.2

[all reports]

Package uAgda-1.2.0.2
Install PlanningFailed
Docs NotTried
Tests NotTried
Time submitted 2015-10-20 21:26:56.564794 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.11 (dependency of BNFC-meta-0.2.2)
trying: haskell-src-exts-1.16.0.1 (dependency of haskell-src-meta-0.6.0.11)
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.