Build #7 for Agda-executable-

[all reports]

Package Agda-executable-
Install PlanningFailed
Docs NotTried
Tests NotTried
Time submitted 2016-10-23 22:38:13.285128 UTC
Compiler ghc-
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: Agda-executable- (user goal)
trying: base- (dependency of Agda-executable-
next goal: Agda (dependency of Agda-executable-
rejecting: Agda-, Agda-2.5.1, Agda-, Agda-, Agda-,
Agda-, Agda-, Agda-2.4.2, Agda-, Agda-,
Agda-2.4.0, Agda-, Agda-, Agda-2.3.2 (conflict: Agda-executable
=> Agda==
rejecting: Agda- (conflict: base==, Agda =>
base>=4.2 && <4.6 || ==4.1.*)
rejecting: Agda-2.3.0, Agda-2.2.10, Agda-2.2.8, Agda-2.2.6, Agda-2.2.4,
Agda-2.2.2, Agda-2.2.0 (conflict: Agda-executable => Agda==
Dependency tree exhaustively searched.

Test log

No test log was submitted for this report.