Build #1 for cryptol-2.6.0
Package | cryptol-2.6.0 |
---|
Install | InstallOk |
---|---|
Docs | Ok |
Tests | NotTried |
Time submitted | 2018-08-01 16:24:26.715851501 UTC |
---|---|
Compiler | ghc-8.4.3 |
OS | linux |
Arch | x86_64 |
Dependencies | GraphSCC-1.0.4, array-0.5.2.0, base-4.11.1.0, base-compat-0.9.3, bytestring-0.10.8.2, containers-0.5.11.0, deepseq-1.4.3.0, directory-1.3.1.5, filepath-1.4.2, gitrev-1.3.1, heredoc-0.2.0.0, monad-control-1.0.2.3, monadLib-3.7.3, mtl-2.2.2, panic-0.4.0.1, pretty-1.1.3.6, process-1.6.3.0, random-1.1, sbv-7.10, simple-smt-0.9.1, strict-0.3.2, text-1.2.3.0, tf-random-0.5, time-1.8.0.2, transformers-base-0.4.5.2, ansi-terminal-0.8.0.4, base-4.11.1.0, base-compat-0.9.3, containers-0.5.11.0, directory-1.3.1.5, filepath-1.4.2, haskeline-0.7.4.2, monad-control-1.0.2.3, text-1.2.3.0, transformers-0.5.5.0, base-4.11.1.0, blaze-html-0.9.1.1, text-1.2.3.0 |
Flags | relocatable -static |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Configuring FloatingHex-0.4... Configuring GraphSCC-1.0.4... Building FloatingHex-0.4... Building GraphSCC-1.0.4... Installed GraphSCC-1.0.4 Configuring base-compat-0.9.3... Installed FloatingHex-0.4 Configuring base-orphans-0.8... Building base-compat-0.9.3... Building base-orphans-0.8... Installed base-compat-0.9.3 Configuring blaze-builder-0.4.1.0... Building blaze-builder-0.4.1.0... Installed base-orphans-0.8 Configuring colour-2.3.4... Building colour-2.3.4... Installed blaze-builder-0.4.1.0 Configuring data-binary-ieee754-0.4.4... Building data-binary-ieee754-0.4.4... Installed data-binary-ieee754-0.4.4 Configuring hashable-1.2.7.0... Building hashable-1.2.7.0... Installed colour-2.3.4 Configuring heredoc-0.2.0.0... Building heredoc-0.2.0.0... Installed heredoc-0.2.0.0 Configuring ieee754-0.8.0... Installed hashable-1.2.7.0 Configuring monadLib-3.7.3... Building ieee754-0.8.0... Building monadLib-3.7.3... Installed ieee754-0.8.0 Configuring primitive-0.6.4.0... Building primitive-0.6.4.0... Installed monadLib-3.7.3 Configuring random-1.1... Building random-1.1... Installed random-1.1 Configuring simple-smt-0.9.1... Building simple-smt-0.9.1... Installed simple-smt-0.9.1 Configuring strict-0.3.2... Building strict-0.3.2... Installed strict-0.3.2 Configuring syb-0.7... Building syb-0.7... Installed primitive-0.6.4.0 Configuring th-abstraction-0.2.8.0... Building th-abstraction-0.2.8.0... Installed syb-0.7 Configuring transformers-compat-0.6.2... Building transformers-compat-0.6.2... Installed th-abstraction-0.2.8.0 Configuring gitrev-1.3.1... Building gitrev-1.3.1... Installed transformers-compat-0.6.2 Configuring blaze-markup-0.8.2.1... Building blaze-markup-0.8.2.1... Installed gitrev-1.3.1 Configuring ansi-terminal-0.8.0.4... Building ansi-terminal-0.8.0.4... Installed blaze-markup-0.8.2.1 Configuring async-2.2.1... Building async-2.2.1... Installed ansi-terminal-0.8.0.4 Configuring crackNum-2.1... Building crackNum-2.1... Installed async-2.2.1 Configuring tf-random-0.5... Building tf-random-0.5... Installed crackNum-2.1 Configuring generic-deriving-1.12.2... Installed tf-random-0.5 Configuring transformers-base-0.4.5.2... Building generic-deriving-1.12.2... Building transformers-base-0.4.5.2... Installed transformers-base-0.4.5.2 Configuring panic-0.4.0.1... Building panic-0.4.0.1... Installed panic-0.4.0.1 Configuring blaze-html-0.9.1.1... Building blaze-html-0.9.1.1... Installed generic-deriving-1.12.2 Configuring QuickCheck-2.11.3... Building QuickCheck-2.11.3... Installed blaze-html-0.9.1.1 Configuring monad-control-1.0.2.3... Building monad-control-1.0.2.3... Installed monad-control-1.0.2.3 Installed QuickCheck-2.11.3 Configuring sbv-7.10... Building sbv-7.10... Installed sbv-7.10 Downloading cryptol-2.6.0... Configuring cryptol-2.6.0... Building cryptol-2.6.0... Installed cryptol-2.6.0
Test log
No test log was submitted for this report.