Hackage :: [Package]

Build #3 for Agda-executable-2.2.8

[all reports]

Package Agda-executable-2.2.8
Install PlanningFailed
Docs NotTried
Tests NotTried
Time submitted 2015-11-14 05:21:06.90709 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: Agda-executable (user goal)
rejecting: Agda-executable-2.3.0.1, 2.3.0, 2.2.10 (global constraint requires
==2.2.8)
trying: Agda-executable-2.2.8
trying: base-4.8.1.0/installed-4f7... (dependency of Agda-executable-2.2.8)
next goal: Agda (dependency of Agda-executable-2.2.8)
rejecting: Agda-2.4.2.4, 2.4.2.3, 2.4.2.2, 2.4.2.1, 2.4.2, 2.4.0.2, 2.4.0.1,
2.4.0, 2.3.2.2, 2.3.2.1, 2.3.2, 2.3.0.1, 2.3.0, 2.2.10 (conflict:
Agda-executable => Agda==2.2.8)
trying: Agda-2.2.8
next goal: Cabal (dependency of Agda-2.2.8)
rejecting: Cabal-1.22.4.0/installed-43c..., 1.22.4.0, 1.22.3.0, 1.22.2.0,
1.22.1.1, 1.22.1.0, 1.22.0.0, 1.20.0.3, 1.20.0.2, 1.20.0.1, 1.20.0.0,
1.18.1.6, 1.18.1.5, 1.18.1.4, 1.18.1.3, 1.18.1.2, 1.18.1.1, 1.18.1, 1.18.0,
1.16.0.3, 1.16.0.2, 1.16.0.1, 1.16.0, 1.14.0, 1.12.0, 1.10.2.0, 1.10.1.0,
1.10.0.0 (conflict: Agda => Cabal>=1.8.0.2 && <1.9)
trying: Cabal-1.8.0.6
next goal: unix (dependency of Cabal-1.8.0.6)
rejecting: unix-2.7.1.0/installed-643..., 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 (conflict: Cabal => unix>=2.0 && <2.5)
rejecting: unix-2.4.2.0, 2.4.1.0 (conflict: base==4.8.1.0/installed-4f7...,
unix => base>=4.2 && <4.4)
rejecting: unix-2.4.0.2, 2.4.0.1 (conflict: base==4.8.1.0/installed-4f7...,
unix => base>=4.2 && <4.3)
rejecting: unix-2.4.0.0 (conflict: base==4.8.1.0/installed-4f7..., unix =>
base>=4.1 && <4.3)
rejecting: unix-2.3.2.0, 2.3.1.0, 2.3.0.0, 2.2.0.0, 2.0 (conflict:
base==4.8.1.0/installed-4f7..., unix => base<4.3)
Dependency tree exhaustively searched.

Test log

No test log was submitted for this report.