Build #1 for cryptol-2.5.0
Package | cryptol-2.5.0 |
---|
Install | InstallOk |
---|---|
Docs | Ok |
Tests | NotTried |
Time submitted | 2017-07-25 18:02:26.581841932 UTC |
---|---|
Compiler | ghc-8.0.2 |
OS | linux |
Arch | x86_64 |
Dependencies | GraphSCC-1.0.4, QuickCheck-2.10.0.1, array-0.5.1.1, async-2.1.1.1, base-4.9.1.0, base-compat-0.9.3, bytestring-0.10.8.1, containers-0.5.7.1, deepseq-1.4.2.0, directory-1.3.0.0, filepath-1.4.1.1, gitrev-1.3.1, heredoc-0.2.0.0, monad-control-1.0.2.1, monadLib-3.7.3, mtl-2.2.1, old-time-1.1.0.3, presburger-1.3.1, pretty-1.1.3.3, process-1.4.3.0, random-1.1, sbv-7.0, simple-smt-0.7.0, smtLib-1.0.8, syb-0.7, template-haskell-2.11.1.0, text-1.2.2.2, tf-random-0.5, time-1.6.0.1, transformers-0.5.2.0, transformers-base-0.4.4, utf8-string-1.0.1.1, ansi-terminal-0.6.3.1, base-4.9.1.0, base-compat-0.9.3, containers-0.5.7.1, deepseq-1.4.2.0, directory-1.3.0.0, filepath-1.4.1.1, haskeline-0.7.3.0, monad-control-1.0.2.1, monadLib-3.7.3, process-1.4.3.0, random-1.1, sbv-7.0, tf-random-0.5, transformers-0.5.2.0 |
Flags | -static relocatable |
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 ansi-terminal-0.6.3.1... Configuring base-compat-0.9.3... Installed FloatingHex-0.4 Building ansi-terminal-0.6.3.1... Building base-compat-0.9.3... Configuring data-binary-ieee754-0.4.4... Installed ansi-terminal-0.6.3.1 Building data-binary-ieee754-0.4.4... Configuring heredoc-0.2.0.0... Installed base-compat-0.9.3 Building heredoc-0.2.0.0... Configuring generic-deriving-1.11.2... Installed data-binary-ieee754-0.4.4 Building generic-deriving-1.11.2... Configuring monadLib-3.7.3... Installed heredoc-0.2.0.0 Building monadLib-3.7.3... Configuring ieee754-0.8.0... Installed monadLib-3.7.3 Building ieee754-0.8.0... Configuring old-locale-1.0.0.7... Installed ieee754-0.8.0 Building old-locale-1.0.0.7... Configuring mtl-2.2.1... Installed old-locale-1.0.0.7 Building mtl-2.2.1... Configuring presburger-1.3.1... Installed mtl-2.2.1 Building presburger-1.3.1... Configuring primitive-0.6.2.0... Installed generic-deriving-1.11.2 Building primitive-0.6.2.0... Configuring random-1.1... Installed presburger-1.3.1 Building random-1.1... Configuring simple-smt-0.7.0... Installed random-1.1 Building simple-smt-0.7.0... Configuring stm-2.4.4.1... Installed primitive-0.6.2.0 Building stm-2.4.4.1... Configuring smtLib-1.0.8... Installed simple-smt-0.7.0 Building smtLib-1.0.8... Configuring syb-0.7... Installed stm-2.4.4.1 Building syb-0.7... Configuring utf8-string-1.0.1.1... Installed syb-0.7 Building utf8-string-1.0.1.1... Configuring text-1.2.2.2... Installed smtLib-1.0.8 Building text-1.2.2.2... Configuring transformers-compat-0.5.1.4... Installed utf8-string-1.0.1.1 Building transformers-compat-0.5.1.4... Installed transformers-compat-0.5.1.4 Configuring gitrev-1.3.1... Building gitrev-1.3.1... Configuring crackNum-1.9... Installed gitrev-1.3.1 Building crackNum-1.9... Configuring old-time-1.1.0.3... Installed crackNum-1.9 Building old-time-1.1.0.3... Configuring async-2.1.1.1... Installed text-1.2.2.2 Building async-2.1.1.1... Configuring tf-random-0.5... Installed old-time-1.1.0.3 Building tf-random-0.5... Configuring transformers-base-0.4.4... Installed async-2.1.1.1 Building transformers-base-0.4.4... Installed transformers-base-0.4.4 Configuring monad-control-1.0.2.1... Installed tf-random-0.5 Configuring QuickCheck-2.10.0.1... Building monad-control-1.0.2.1... Building QuickCheck-2.10.0.1... Installed monad-control-1.0.2.1 Installed QuickCheck-2.10.0.1 Configuring sbv-7.0... Building sbv-7.0... Installed sbv-7.0 Downloading cryptol-2.5.0... Configuring cryptol-2.5.0... Building cryptol-2.5.0... Installed cryptol-2.5.0
Test log
No test log was submitted for this report.