Build #1 for copilot-2.2.1
| Package | copilot-2.2.1 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2017-07-12 17:26:16.391776339 UTC |
|---|---|
| Compiler | ghc-8.0.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.9.1.0, copilot-c99-2.2.1, copilot-cbmc-2.2.1, copilot-core-2.2.1, copilot-language-2.2.1, copilot-libraries-2.2.1, copilot-sbv-2.2.1, copilot-theorem-2.2.1, base-4.9.1.0, copilot-c99-2.2.1, copilot-cbmc-2.2.1, copilot-core-2.2.1, copilot-language-2.2.1, copilot-libraries-2.2.1, copilot-sbv-2.2.1, copilot-theorem-2.2.1, directory-1.3.0.0, random-1.1 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Configuring FloatingHex-0.4... Configuring ansi-terminal-0.6.3.1... Building FloatingHex-0.4... Building ansi-terminal-0.6.3.1... Installed FloatingHex-0.4 Configuring base-compat-0.9.3... Building base-compat-0.9.3... Configuring call-stack-0.1.0... Installed ansi-terminal-0.6.3.1 Building call-stack-0.1.0... Configuring data-default-class-0.1.2.0... Installed call-stack-0.1.0 Building data-default-class-0.1.2.0... Configuring data-fix-0.0.4... Installed base-compat-0.9.3 Building data-fix-0.0.4... Configuring data-binary-ieee754-0.4.4... Installed data-default-class-0.1.2.0 Building data-binary-ieee754-0.4.4... Configuring data-reify-0.6.1... Installed data-fix-0.0.4 Building data-reify-0.6.1... Configuring dlist-0.8.0.3... Installed data-binary-ieee754-0.4.4 Building dlist-0.8.0.3... Configuring ieee754-0.8.0... Installed data-reify-0.6.1 Building ieee754-0.8.0... Configuring mtl-2.2.1... Installed dlist-0.8.0.3 Building mtl-2.2.1... Configuring integer-logarithms-1.0.2... Installed ieee754-0.8.0 Building integer-logarithms-1.0.2... Configuring old-locale-1.0.0.7... Installed integer-logarithms-1.0.2 Configuring pretty-ncols-0.1... Installed mtl-2.2.1 Building old-locale-1.0.0.7... Building pretty-ncols-0.1... Configuring random-1.1... Installed old-locale-1.0.0.7 Configuring stm-2.4.4.1... Installed pretty-ncols-0.1 Building random-1.1... Building stm-2.4.4.1... Configuring primitive-0.6.2.0... Installed stm-2.4.4.1 Configuring syb-0.7... Installed random-1.1 Downloading copilot-core-2.2.1... Building primitive-0.6.2.0... Building syb-0.7... Configuring transformers-compat-0.5.1.4... Installed syb-0.7 Building transformers-compat-0.5.1.4... Configuring text-1.2.2.2... Installed transformers-compat-0.5.1.4 Building text-1.2.2.2... Installed primitive-0.6.2.0 Configuring HUnit-1.6.0.0... Building HUnit-1.6.0.0... Configuring data-default-instances-containers-0.0.1... Installed HUnit-1.6.0.0 Building data-default-instances-containers-0.0.1... Installed data-default-instances-containers-0.0.1 Configuring data-default-instances-dlist-0.0.1... Building data-default-instances-dlist-0.0.1... Installed data-default-instances-dlist-0.0.1 Configuring crackNum-1.9... Building crackNum-1.9... Configuring data-default-instances-old-locale-0.0.1... Installed crackNum-1.9 Building data-default-instances-old-locale-0.0.1... Configuring old-time-1.1.0.3... Installed data-default-instances-old-locale-0.0.1 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 copilot-core-2.2.1... Installed async-2.1.1.1 Building copilot-core-2.2.1... Configuring exceptions-0.8.3... Installed old-time-1.1.0.3 Building exceptions-0.8.3... Configuring tagged-0.8.5... Installed exceptions-0.8.3 Building tagged-0.8.5... Configuring tf-random-0.5... Installed copilot-core-2.2.1 Building tf-random-0.5... Configuring vector-0.12.0.1... Installed tagged-0.8.5 Building vector-0.12.0.1... Installed tf-random-0.5 Configuring data-default-0.7.1.1... Building data-default-0.7.1.1... Installed data-default-0.7.1.1 Configuring hashable-1.2.6.1... Building hashable-1.2.6.1... Configuring blaze-builder-0.4.0.2... Installed hashable-1.2.6.1 Building blaze-builder-0.4.0.2... Configuring xml-1.3.14... Installed blaze-builder-0.4.0.2 Building xml-1.3.14... Configuring parsec-3.1.11... Installed xml-1.3.14 Building parsec-3.1.11... Configuring bimap-0.3.3... Installed parsec-3.1.11 Building bimap-0.3.3... Configuring QuickCheck-2.10.0.1... Installed vector-0.12.0.1 Building QuickCheck-2.10.0.1... Installed bimap-0.3.3 Configuring constraints-0.9.1... Building constraints-0.9.1... Installed constraints-0.9.1 Configuring scientific-0.3.5.1... Building scientific-0.3.5.1... Configuring csv-0.1.2... Installed scientific-0.3.5.1 Building csv-0.1.2... Configuring blaze-textual-0.2.1.0... Installed csv-0.1.2 Building blaze-textual-0.2.1.0... Configuring atom-1.0.13... Installed blaze-textual-0.2.1.0 Installed QuickCheck-2.10.0.1 Configuring attoparsec-0.13.1.0... Building atom-1.0.13... Building attoparsec-0.13.1.0... Configuring sbv-6.1... Installed attoparsec-0.13.1.0 Building sbv-6.1... Configuring atto-lisp-0.2.2.2... Installed atom-1.0.13 Downloading copilot-c99-2.2.1... Building atto-lisp-0.2.2.2... Installed atto-lisp-0.2.2.2 Configuring smtlib2-0.3.1... Building smtlib2-0.3.1... Configuring copilot-c99-2.2.1... Installed smtlib2-0.3.1 Downloading copilot-theorem-2.2.1... Building copilot-c99-2.2.1... Installed copilot-c99-2.2.1 Configuring copilot-theorem-2.2.1... Building copilot-theorem-2.2.1... Installed copilot-theorem-2.2.1 Downloading copilot-language-2.2.1... Configuring copilot-language-2.2.1... Building copilot-language-2.2.1... Installed copilot-language-2.2.1 Downloading copilot-libraries-2.2.1... Configuring copilot-libraries-2.2.1... Building copilot-libraries-2.2.1... Installed sbv-6.1 Downloading copilot-sbv-2.2.1... Configuring copilot-sbv-2.2.1... Building copilot-sbv-2.2.1... Installed copilot-libraries-2.2.1 Installed copilot-sbv-2.2.1 Downloading copilot-cbmc-2.2.1... Configuring copilot-cbmc-2.2.1... Building copilot-cbmc-2.2.1... Installed copilot-cbmc-2.2.1 Downloading copilot-2.2.1... Configuring copilot-2.2.1... Building copilot-2.2.1... Installed copilot-2.2.1
Test log
No test log was submitted for this report.