06e2c58 Updated to 1.2

Authored and Committed by Shakthi Kannan 11 years ago
    Updated to 1.2
    
        
file modified
+1 -0
ghc-chalmers-lava2000-1.2-remove-verification-modules.patch ghc-chalmers-lava2000-remove-verification-modules.patch
file renamed
+14 -11
file modified
+18 -42
file modified
+1 -1