diff -up chalmers-lava2000-1.2.0/chalmers-lava2000.cabal.fix chalmers-lava2000-1.2.0/chalmers-lava2000.cabal
--- chalmers-lava2000-1.2.0/chalmers-lava2000.cabal.fix	2012-08-13 17:14:12.701053750 +0530
+++ chalmers-lava2000-1.2.0/chalmers-lava2000.cabal	2012-08-13 17:15:41.203050365 +0530
@@ -11,7 +11,7 @@ maintainer:          Emil Axelsson <emax
 homepage:            http://projects.haskell.org/chalmers-lava2000/
 cabal-version:       >= 1.6
 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
 
 source-repository head
   type:     darcs
@@ -21,20 +21,13 @@ 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
@@ -42,22 +35,17 @@ 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.2.0/Lava.hs.fix chalmers-lava2000-1.2.0/Lava.hs
--- chalmers-lava2000-1.2.0/Lava.hs.fix	2012-08-13 17:15:56.692050417 +0530
+++ chalmers-lava2000-1.2.0/Lava.hs	2012-08-13 17:16:21.155050692 +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