Resolving dependencies... Downloading chalmers-lava2000-1.4.1... Configuring chalmers-lava2000-1.4.1... Building chalmers-lava2000-1.4.1... Preprocessing library chalmers-lava2000-1.4.1... [ 1 of 40] Compiling Paths_chalmers_lava2000 ( dist/build/autogen/Paths_chalmers_lava2000.hs, dist/build/Paths_chalmers_lava2000.o ) [ 2 of 40] Compiling Lava.LavaRandom ( Lava/LavaRandom.hs, dist/build/Lava/LavaRandom.o ) [ 3 of 40] Compiling Lava.MyST ( Lava/MyST.hs, dist/build/Lava/MyST.o ) [ 4 of 40] Compiling Lava.Ref ( Lava/Ref.hs, dist/build/Lava/Ref.o ) [ 5 of 40] Compiling Lava.SignalTry ( Lava/SignalTry.hs, dist/build/Lava/SignalTry.o ) [ 6 of 40] Compiling Lava.IOBuffering ( Lava/IOBuffering.hs, dist/build/Lava/IOBuffering.o ) [ 7 of 40] Compiling Lava.LavaDir ( Lava/LavaDir.hs, dist/build/Lava/LavaDir.o ) [ 8 of 40] Compiling Lava.Error ( Lava/Error.hs, dist/build/Lava/Error.o ) [ 9 of 40] Compiling Lava.Sequent ( Lava/Sequent.hs, dist/build/Lava/Sequent.o ) [10 of 40] Compiling Lava.Signal ( Lava/Signal.hs, dist/build/Lava/Signal.o ) [11 of 40] Compiling Lava.Generic ( Lava/Generic.hs, dist/build/Lava/Generic.o ) [12 of 40] Compiling Lava.Operators ( Lava/Operators.hs, dist/build/Lava/Operators.o ) [13 of 40] Compiling Lava.ConstructiveAnalysis ( Lava/ConstructiveAnalysis.hs, dist/build/Lava/ConstructiveAnalysis.o ) [14 of 40] Compiling Lava.Property ( Lava/Property.hs, dist/build/Lava/Property.o ) [15 of 40] Compiling Lava.Netlist ( Lava/Netlist.hs, dist/build/Lava/Netlist.o ) [16 of 40] Compiling Lava.Combinational ( Lava/Combinational.hs, dist/build/Lava/Combinational.o ) [17 of 40] Compiling Lava.Sequential ( Lava/Sequential.hs, dist/build/Lava/Sequential.o ) [18 of 40] Compiling Lava.Test ( Lava/Test.hs, dist/build/Lava/Test.o ) [19 of 40] Compiling Lava.SequentialConstructive ( Lava/SequentialConstructive.hs, dist/build/Lava/SequentialConstructive.o ) [20 of 40] Compiling Lava.Verification ( Lava/Verification.hs, dist/build/Lava/Verification.o ) [21 of 40] Compiling Lava.Vis ( Lava/Vis.hs, dist/build/Lava/Vis.o ) [22 of 40] Compiling Lava.Fixit ( Lava/Fixit.hs, dist/build/Lava/Fixit.o ) [23 of 40] Compiling Lava.Smv ( Lava/Smv.hs, dist/build/Lava/Smv.o ) [24 of 40] Compiling Lava.Satzoo ( Lava/Satzoo.hs, dist/build/Lava/Satzoo.o ) [25 of 40] Compiling Lava.Retime ( Lava/Retime.hs, dist/build/Lava/Retime.o ) [26 of 40] Compiling Lava.Vhdl ( Lava/Vhdl.hs, dist/build/Lava/Vhdl.o ) [27 of 40] Compiling Lava.Captain ( Lava/Captain.hs, dist/build/Lava/Captain.o ) [28 of 40] Compiling Lava.Eprover ( Lava/Eprover.hs, dist/build/Lava/Eprover.o ) [29 of 40] Compiling Lava.HeerHugo ( Lava/HeerHugo.hs, dist/build/Lava/HeerHugo.o ) [30 of 40] Compiling Lava.Isc ( Lava/Isc.hs, dist/build/Lava/Isc.o ) [31 of 40] Compiling Lava.Limmat ( Lava/Limmat.hs, dist/build/Lava/Limmat.o ) [32 of 40] Compiling Lava.Modoc ( Lava/Modoc.hs, dist/build/Lava/Modoc.o ) [33 of 40] Compiling Lava.Satnik ( Lava/Satnik.hs, dist/build/Lava/Satnik.o ) [34 of 40] Compiling Lava.Stable ( Lava/Stable.hs, dist/build/Lava/Stable.o ) [35 of 40] Compiling Lava.Table ( Lava/Table.hs, dist/build/Lava/Table.o ) [36 of 40] Compiling Lava.Zchaff ( Lava/Zchaff.hs, dist/build/Lava/Zchaff.o ) [37 of 40] Compiling Lava ( Lava.hs, dist/build/Lava.o ) [38 of 40] Compiling Lava.Patterns ( Lava/Patterns.hs, dist/build/Lava/Patterns.o ) [39 of 40] Compiling Lava.Arithmetic ( Lava/Arithmetic.hs, dist/build/Lava/Arithmetic.o ) [40 of 40] Compiling Lava.SequentialCircuits ( Lava/SequentialCircuits.hs, dist/build/Lava/SequentialCircuits.o ) In-place registering chalmers-lava2000-1.4.1... Running Haddock for chalmers-lava2000-1.4.1... Running hscolour for chalmers-lava2000-1.4.1... Preprocessing library chalmers-lava2000-1.4.1... Preprocessing library chalmers-lava2000-1.4.1... Haddock coverage: 0% ( 0 / 8) in 'Paths_chalmers_lava2000' 40% ( 2 / 5) in 'Lava.LavaRandom' 0% ( 0 / 11) in 'Lava.MyST' 0% ( 0 / 15) in 'Lava.Ref' 0% ( 0 / 4) in 'Lava.SignalTry' 0% ( 0 / 2) in 'Lava.IOBuffering' 0% ( 0 / 2) in 'Lava.LavaDir' 0% ( 0 / 3) in 'Lava.Error' 0% ( 0 / 3) in 'Lava.Sequent' 0% ( 0 / 38) in 'Lava.Signal' 0% ( 0 / 29) in 'Lava.Generic' 0% ( 0 / 32) in 'Lava.Operators' 0% ( 0 / 2) in 'Lava.ConstructiveAnalysis' 0% ( 0 / 18) in 'Lava.Property' 0% ( 0 / 4) in 'Lava.Netlist' 0% ( 0 / 2) in 'Lava.Combinational' 0% ( 0 / 2) in 'Lava.Sequential' 0% ( 0 / 2) in 'Lava.Test' 0% ( 0 / 2) in 'Lava.SequentialConstructive' 0% ( 0 / 7) in 'Lava.Verification' 0% ( 0 / 6) in 'Lava.Vis' 0% ( 0 / 2) in 'Lava.Fixit' 0% ( 0 / 2) in 'Lava.Smv' 0% ( 0 / 2) in 'Lava.Satzoo' 0% ( 0 / 2) in 'Lava.Retime' 0% ( 0 / 4) in 'Lava.Vhdl' 0% ( 0 / 2) in 'Lava.Captain' 0% ( 0 / 2) in 'Lava.Eprover' 0% ( 0 / 2) in 'Lava.HeerHugo' 0% ( 0 / 4) in 'Lava.Isc' 0% ( 0 / 2) in 'Lava.Limmat' 0% ( 0 / 2) in 'Lava.Modoc' 0% ( 0 / 2) in 'Lava.Satnik' 0% ( 0 / 2) in 'Lava.Stable' 0% ( 0 / 3) in 'Lava.Table' 0% ( 0 / 2) in 'Lava.Zchaff' 94% ( 16 / 17) in 'Lava' 0% ( 0 / 31) in 'Lava.Patterns' 0% ( 0 / 11) in 'Lava.Arithmetic' 0% ( 0 / 12) in 'Lava.SequentialCircuits' Documentation created: dist/doc/html/chalmers-lava2000/index.html, dist/doc/html/chalmers-lava2000/chalmers-lava2000.txt Installing library in /srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/chalmers-lava2000-1.4.1 Registering chalmers-lava2000-1.4.1... Installed chalmers-lava2000-1.4.1