Build #1 for tamarin-prover-0.6.1.0
| Package | tamarin-prover-0.6.1.0 |
|---|
| Install | PlanningFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2015-06-09 08:03:43.400724 UTC |
|---|---|
| Compiler | ghc-7.8.3 |
| 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: tamarin-prover (user goal) rejecting: tamarin-prover-0.8.6.1, 0.8.6.0, 0.8.5.1, 0.8.5.0, 0.8.4.0, 0.8.2.1, 0.8.2.0, 0.8.1.0, 0.8.0.0 (global constraint requires ==0.6.1.0) trying: tamarin-prover-0.6.1.0 trying: derive-2.5.22 (dependency of tamarin-prover-0.6.1.0) next goal: template-haskell (dependency of derive-2.5.22) rejecting: template-haskell-2.9.0.0/installed-3af... (conflict: template-haskell => containers==0.5.5.1/installed-23e..., tamarin-prover => containers>=0.4.2 && <0.5) rejecting: template-haskell-2.10.0.0 (conflict: base==4.7.0.1/installed-e4b..., template-haskell => base==4.8.*) trying: template-haskell-2.9.0.0 next goal: fclabels (dependency of tamarin-prover-0.6.1.0) rejecting: fclabels-2.0.2.2, 2.0.2.1, 2.0.2, 2.0.1.1, 2.0.1, 2.0.0.5, 2.0.0.4, 2.0.0.3, 2.0.0.2, 2.0.0.1, 2.0 (conflict: tamarin-prover => fclabels==1.1.*) rejecting: fclabels-1.1.7.1, 1.1.7, 1.1.6, 1.1.5, 1.1.4.3 (conflict: template-haskell==2.9.0.0, fclabels => template-haskell>=2.2 && <2.9) rejecting: fclabels-1.1.4.2, 1.1.4.1, 1.1.4, 1.1.3, 1.1.2, 1.1.1.1, 1.1.1.0, 1.1.0.2, 1.1.0.1 (conflict: template-haskell==2.9.0.0, fclabels => template-haskell>=2.2 && <2.8) rejecting: fclabels-1.1.0 (conflict: template-haskell==2.9.0.0, fclabels => template-haskell>=2.2 && <2.7) rejecting: fclabels-1.0.5, 1.0.4, 1.0.3, 1.0.2, 1.0.1, 1.0, 0.11.2, 0.11.1.1, 0.11.1, 0.11.0, 0.9.1, 0.9.0, 0.4.2.1, 0.4.2, 0.4.1, 0.4.0, 0.3.0, 0.2.0, 0.1.2, 0.1 (conflict: tamarin-prover => fclabels==1.1.*) Dependency tree exhaustively searched.
Test log
No test log was submitted for this report.