[all reports]
| Package |
heyting-algebras-0.0.2.0 |
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
NotTried |
| Time submitted |
2019-02-16 11:00:04.259957717 UTC
|
| Compiler |
ghc-8.6.3 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
base-4.12.0.0, containers-0.6.0.1, free-algebras-0.0.7.0, hashable-1.2.7.0, lattices-1.7.1.1, semiring-simple-1.0.0.1, tagged-0.8.6, universe-base-1.0.2.1, unordered-containers-0.2.10.0 |
| Flags |
none
|
Build log
[view raw]
Warning: The install command is a part of the legacy v1 style of cabal usage.
Please switch to using either the new project style and the new-install
command or the legacy v1-install alias as new-style projects will become the
default in the next version of cabal-install. Please file a bug if you cannot
replicate a working v1- use case with the new-style commands.
For more information, see: https://wiki.haskell.org/Cabal/NewBuild
Resolving dependencies...
Starting base-orphans-0.8
Starting cabal-doctest-1.0.6
Starting StateVar-1.1.1.1
Starting base-compat-0.10.5
Building base-orphans-0.8
Building cabal-doctest-1.0.6
Building StateVar-1.1.1.1
Building base-compat-0.10.5
Completed base-orphans-0.8
Starting data-fix-0.2.0
Completed StateVar-1.1.1.1
Starting dlist-0.8.0.5
Building data-fix-0.2.0
Building dlist-0.8.0.5
Completed cabal-doctest-1.0.6
Starting groups-0.4.1.0
Building groups-0.4.1.0
Completed data-fix-0.2.0
Starting hashable-1.2.7.0
Building hashable-1.2.7.0
Completed groups-0.4.1.0
Starting natural-numbers-0.1.2.0
Completed dlist-0.8.0.5
Starting semigroups-0.18.5
Building natural-numbers-0.1.2.0
Building semigroups-0.18.5
Completed base-compat-0.10.5
Downloading semiring-simple-1.0.0.1
Downloaded semiring-simple-1.0.0.1
Starting semiring-simple-1.0.0.1
Completed natural-numbers-0.1.2.0
Starting tagged-0.8.6
Building semiring-simple-1.0.0.1
Completed semigroups-0.18.5
Starting th-abstraction-0.2.10.0
Building tagged-0.8.6
Building th-abstraction-0.2.10.0
Completed hashable-1.2.7.0
Starting transformers-compat-0.6.2
Completed semiring-simple-1.0.0.1
Downloading universe-base-1.0.2.1
Downloaded universe-base-1.0.2.1
Starting universe-base-1.0.2.1
Building transformers-compat-0.6.2
Building universe-base-1.0.2.1
Completed universe-base-1.0.2.1
Starting void-0.7.2
Completed tagged-0.8.6
Starting contravariant-1.5
Building void-0.7.2
Building contravariant-1.5
Completed void-0.7.2
Starting unordered-containers-0.2.10.0
Completed transformers-compat-0.6.2
Downloading universe-instances-base-1.0
Downloaded universe-instances-base-1.0
Starting universe-instances-base-1.0
Completed th-abstraction-0.2.10.0
Starting distributive-0.6
Building unordered-containers-0.2.10.0
Building universe-instances-base-1.0
Completed contravariant-1.5
Starting transformers-base-0.4.5.2
Completed universe-instances-base-1.0
Starting exceptions-0.10.0
Building distributive-0.6
Building transformers-base-0.4.5.2
Building exceptions-0.10.0
Completed transformers-base-0.4.5.2
Starting constraints-0.10.1
Building constraints-0.10.1
Completed distributive-0.6
Downloading universe-reverse-instances-1.0
Downloaded universe-reverse-instances-1.0
Starting universe-reverse-instances-1.0
Building universe-reverse-instances-1.0
Completed exceptions-0.10.0
Starting comonad-5.0.4
Completed universe-reverse-instances-1.0
Building comonad-5.0.4
Completed unordered-containers-0.2.10.0
Completed constraints-0.10.1
Completed comonad-5.0.4
Starting bifunctors-5.5.3
Building bifunctors-5.5.3
Completed bifunctors-5.5.3
Starting semigroupoids-5.3.2
Starting profunctors-5.3
Building profunctors-5.3
Building semigroupoids-5.3.2
Completed profunctors-5.3
Starting invariant-0.5.1
Building invariant-0.5.1
Completed semigroupoids-5.3.2
Downloading lattices-1.7.1.1
Starting free-5.1
Downloaded lattices-1.7.1.1
Starting lattices-1.7.1.1
Building free-5.1
Building lattices-1.7.1.1
Completed invariant-0.5.1
Completed lattices-1.7.1.1
Completed free-5.1
Starting adjunctions-4.4
Building adjunctions-4.4
Completed adjunctions-4.4
Starting kan-extensions-5.2
Building kan-extensions-5.2
Completed kan-extensions-5.2
Starting free-algebras-0.0.7.0
Building free-algebras-0.0.7.0
Completed free-algebras-0.0.7.0
Downloading heyting-algebras-0.0.2.0
Downloaded heyting-algebras-0.0.2.0
Starting heyting-algebras-0.0.2.0
Building heyting-algebras-0.0.2.0
Completed heyting-algebras-0.0.2.0