tamarin-prover-utils 0.8.0.1 → 0.8.1.0

raw patch · 2 files changed

+4/−4 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• src/System/Timing.hs +3/−3
• tamarin-prover-utils.cabal +1/−1

@@ -1,7 +1,7 @@ -- | -- Copyright   : (c) 2011 Simon Meier -- License     : GPL v3 (see LICENSE)--- +-- -- Maintainer  : Simon Meier <iridcode@gmail.com> -- Portability : GHC only --@@ -11,8 +11,8 @@   , timed_ ) where -import Control.Monad-import Data.Time.Clock+import           Control.Monad+import           Data.Time.Clock  -- | Execute an IO action and return its result plus the time it took to execute it. timed :: IO a -> IO (a, NominalDiffTime)

@@ -2,7 +2,7 @@  cabal-version:      >= 1.8 build-type:         Simple-version:            0.8.0.1+version:            0.8.1.0 license:            GPL license-file:       LICENSE category:           Theorem Provers