Hackage :: [Package]

Build #2 for tamarin-prover-0.8.6.3

[all reports]

Package tamarin-prover-0.8.6.3
Install PlanningFailed
Docs NotTried
Tests NotTried
Time submitted 2015-09-30 18:57:05.738146 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:
trying: tamarin-prover-0.8.6.3 (user goal)
trying: tamarin-prover-utils-0.8.5.1 (dependency of tamarin-prover-0.8.6.3)
trying: SHA-1.6.4.2 (dependency of tamarin-prover-utils-0.8.5.1)
next goal: binary (dependency of tamarin-prover-0.8.6.3)
rejecting: binary-0.7.5.0/installed-072..., 0.7.6.1, 0.7.6.0, 0.7.5.0,
0.7.4.0, 0.7.3.0, 0.7.2.3, 0.7.2.2, 0.7.2.1, 0.7.2.0, 0.7.1.0, 0.7.0.1,
0.7.0.0, 0.6.4.0, 0.6.3.0, 0.6.2.0, 0.6.1.0, 0.6.0.0 (conflict: tamarin-prover
=> binary==0.5.*)
rejecting: binary-0.5.1.1, 0.5.1.0, 0.5.0.2, 0.5.0.1, 0.5 (conflict: SHA =>
binary>=0.7 && <10000)
rejecting: binary-0.4.5, 0.4.4, 0.4.3.1, 0.4.3, 0.4.2, 0.4.1, 0.4, 0.3, 0.2
(conflict: tamarin-prover => binary==0.5.*)
Dependency tree exhaustively searched.

Test log

No test log was submitted for this report.