sbv-0.9.22: SBVUnitTest/SBVUnitTestBuildTime.hs
-- Auto-generated, don't edit module SBVUnitTest.SBVUnitTestBuildTime (buildTime) where buildTime :: String buildTime = "Sun Nov 13 11:20:47 PST 2011"
-- Auto-generated, don't edit module SBVUnitTest.SBVUnitTestBuildTime (buildTime) where buildTime :: String buildTime = "Sun Nov 13 11:20:47 PST 2011"