diff -up chalmers-lava2000-1.1.1/chalmers-lava2000.cabal.fix chalmers-lava2000-1.1.1/chalmers-lava2000.cabal --- chalmers-lava2000-1.1.1/chalmers-lava2000.cabal.fix 2009-12-20 16:53:51.800160345 +0530 +++ chalmers-lava2000-1.1.1/chalmers-lava2000.cabal 2009-12-20 16:55:54.581901235 +0530 @@ -11,26 +11,19 @@ author: Koen Claessen <koen maintainer: Emil Axelsson <emax@chalmers.se> cabal-version: >= 1.2 build-type: Simple -data-files: README, INSTALL, Doc/tutorial.ps, Vhdl/lava.vhd, Scripts/satzoo.wrapper, Scripts/smv.wrapper +data-files: INSTALL, Doc/tutorial.ps, Vhdl/lava.vhd library exposed-modules: Lava Lava.Arithmetic - Lava.Captain Lava.Combinational Lava.ConstructiveAnalysis - Lava.Eprover Lava.Error - Lava.Fixit Lava.Generic - Lava.HeerHugo Lava.IOBuffering - Lava.Isc Lava.LavaDir Lava.LavaRandom - Lava.Limmat - Lava.Modoc Lava.MyST Lava.Netlist Lava.Operators @@ -38,22 +31,16 @@ library Lava.Property Lava.Ref Lava.Retime - Lava.Satnik - Lava.Satzoo Lava.Sequent Lava.Sequential Lava.SequentialCircuits Lava.SequentialConstructive Lava.Signal Lava.SignalTry - Lava.Smv Lava.Stable Lava.Table Lava.Test - Lava.Verification Lava.Vhdl - Lava.Vis - Lava.Zchaff other-modules: Paths_chalmers_lava2000 diff -up chalmers-lava2000-1.1.1/Lava.hs.fix chalmers-lava2000-1.1.1/Lava.hs --- chalmers-lava2000-1.1.1/Lava.hs.fix 2009-12-20 16:56:43.629901711 +0530 +++ chalmers-lava2000-1.1.1/Lava.hs 2009-12-20 16:58:01.773901399 +0530 @@ -7,11 +7,6 @@ module Lava , module Lava.SequentialConstructive , module Lava.ConstructiveAnalysis , module Lava.Test - , module Lava.Verification - , module Lava.Vis - , module Lava.Fixit - , module Lava.Smv - , module Lava.Satzoo , module Lava.Property , module Lava.Retime , module Lava.Vhdl @@ -26,11 +21,6 @@ import Lava.Sequential import Lava.SequentialConstructive import Lava.ConstructiveAnalysis import Lava.Test -import Lava.Verification -import Lava.Vis -import Lava.Fixit -import Lava.Smv -import Lava.Satzoo import Lava.Property import Lava.Retime import Lava.Vhdl