Resolving dependencies... Configuring cond-0.4.1... Building cond-0.4.1... Preprocessing library cond-0.4.1... [1 of 2] Compiling Data.Algebra.Boolean ( src/Data/Algebra/Boolean.hs, dist/build/Data/Algebra/Boolean.o ) [2 of 2] Compiling Control.Conditional ( src/Control/Conditional.hs, dist/build/Control/Conditional.o ) In-place registering cond-0.4.1... Running Haddock for cond-0.4.1... Running hscolour for cond-0.4.1... Preprocessing library cond-0.4.1... Preprocessing library cond-0.4.1... Haddock coverage: 75% ( 3 / 4) in 'Data.Algebra.Boolean' 100% ( 47 / 47) in 'Control.Conditional' Documentation created: dist/doc/html/cond/index.html, dist/doc/html/cond/cond.txt Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/cond-0.4.1 Registering cond-0.4.1... Installed cond-0.4.1 Downloading boolean-normal-forms-0.0.0.1... Configuring boolean-normal-forms-0.0.0.1... Building boolean-normal-forms-0.0.0.1... Preprocessing library boolean-normal-forms-0.0.0.1... [ 1 of 13] Compiling Data.Algebra.Boolean.CoBoolean ( src/Data/Algebra/Boolean/CoBoolean.hs, dist/build/Data/Algebra/Boolean/CoBoolean.o ) [ 2 of 13] Compiling Data.Algebra.Boolean.Negable ( src/Data/Algebra/Boolean/Negable.hs, dist/build/Data/Algebra/Boolean/Negable.o ) [ 3 of 13] Compiling Data.Algebra.Boolean.FreeBoolean ( src/Data/Algebra/Boolean/FreeBoolean.hs, dist/build/Data/Algebra/Boolean/FreeBoolean.o ) [ 4 of 13] Compiling Data.Algebra.Boolean.NormalForm ( src/Data/Algebra/Boolean/NormalForm.hs, dist/build/Data/Algebra/Boolean/NormalForm.o ) [ 5 of 13] Compiling Data.Algebra.Boolean.NNF.Tree ( src/Data/Algebra/Boolean/NNF/Tree.hs, dist/build/Data/Algebra/Boolean/NNF/Tree.o ) [ 6 of 13] Compiling Data.Algebra.Boolean.NNF ( src/Data/Algebra/Boolean/NNF.hs, dist/build/Data/Algebra/Boolean/NNF.o ) [ 7 of 13] Compiling Data.Algebra.Boolean.DNF.Set ( src/Data/Algebra/Boolean/DNF/Set.hs, dist/build/Data/Algebra/Boolean/DNF/Set.o ) [ 8 of 13] Compiling Data.Algebra.Boolean.DNF ( src/Data/Algebra/Boolean/DNF.hs, dist/build/Data/Algebra/Boolean/DNF.o ) [ 9 of 13] Compiling Data.Algebra.Boolean.CNF.Set ( src/Data/Algebra/Boolean/CNF/Set.hs, dist/build/Data/Algebra/Boolean/CNF/Set.o ) [10 of 13] Compiling Data.Algebra.Boolean.CNF ( src/Data/Algebra/Boolean/CNF.hs, dist/build/Data/Algebra/Boolean/CNF.o ) [11 of 13] Compiling Data.Algebra.Boolean.NNF.Set ( src/Data/Algebra/Boolean/NNF/Set.hs, dist/build/Data/Algebra/Boolean/NNF/Set.o ) [12 of 13] Compiling Data.Algebra.Boolean.DNF.List ( src/Data/Algebra/Boolean/DNF/List.hs, dist/build/Data/Algebra/Boolean/DNF/List.o ) [13 of 13] Compiling Data.Algebra.Boolean.CNF.List ( src/Data/Algebra/Boolean/CNF/List.hs, dist/build/Data/Algebra/Boolean/CNF/List.o ) In-place registering boolean-normal-forms-0.0.0.1... Running Haddock for boolean-normal-forms-0.0.0.1... Running hscolour for boolean-normal-forms-0.0.0.1... Preprocessing library boolean-normal-forms-0.0.0.1... Preprocessing library boolean-normal-forms-0.0.0.1... Haddock coverage: 100% ( 5 / 5) in 'Data.Algebra.Boolean.CoBoolean' 100% ( 3 / 3) in 'Data.Algebra.Boolean.Negable' 100% ( 3 / 3) in 'Data.Algebra.Boolean.FreeBoolean' 100% ( 3 / 3) in 'Data.Algebra.Boolean.NormalForm' Warning: Data.Algebra.Boolean.NNF.Tree: We do not support associated types in instances yet. These instances are affected: Data.Algebra.Boolean.NormalForm.NormalForm Data.Algebra.Boolean.NNF.Tree.NNF 100% ( 3 / 3) in 'Data.Algebra.Boolean.NNF.Tree' 100% ( 2 / 2) in 'Data.Algebra.Boolean.NNF' Warning: Data.Algebra.Boolean.DNF.Set: We do not support associated types in instances yet. These instances are affected: Data.Algebra.Boolean.NormalForm.NormalForm Data.Algebra.Boolean.DNF.Set.DNF 50% ( 3 / 6) in 'Data.Algebra.Boolean.DNF.Set' 100% ( 2 / 2) in 'Data.Algebra.Boolean.DNF' Warning: Data.Algebra.Boolean.CNF.Set: We do not support associated types in instances yet. These instances are affected: Data.Algebra.Boolean.NormalForm.NormalForm Data.Algebra.Boolean.CNF.Set.CNF 50% ( 3 / 6) in 'Data.Algebra.Boolean.CNF.Set' 100% ( 2 / 2) in 'Data.Algebra.Boolean.CNF' Warning: Data.Algebra.Boolean.NNF.Set: We do not support associated types in instances yet. These instances are affected: Data.Algebra.Boolean.NormalForm.NormalForm Data.Algebra.Boolean.NNF.Set.NNF 100% ( 3 / 3) in 'Data.Algebra.Boolean.NNF.Set' Warning: Data.Algebra.Boolean.DNF.List: We do not support associated types in instances yet. These instances are affected: Data.Algebra.Boolean.NormalForm.NormalForm Data.Algebra.Boolean.DNF.List.DNF 50% ( 3 / 6) in 'Data.Algebra.Boolean.DNF.List' Warning: Data.Algebra.Boolean.CNF.List: We do not support associated types in instances yet. These instances are affected: Data.Algebra.Boolean.NormalForm.NormalForm Data.Algebra.Boolean.CNF.List.CNF 50% ( 3 / 6) in 'Data.Algebra.Boolean.CNF.List' Documentation created: dist/doc/html/boolean-normal-forms/index.html, dist/doc/html/boolean-normal-forms/boolean-normal-forms.txt Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/boolean-normal-forms-0.0.0.1 Registering boolean-normal-forms-0.0.0.1... Installed boolean-normal-forms-0.0.0.1