{-# LANGUAGE Safe #-}
module Cryptol.Version (
commitHash
, commitShortHash
, commitBranch
, commitDirty
, version
) where
import Paths_cryptol
import qualified GitRev
commitHash :: String
commitHash :: String
commitHash = String
GitRev.hash
commitShortHash :: String
commitShortHash :: String
commitShortHash = Int -> String -> String
forall a. Int -> [a] -> [a]
take 7 String
GitRev.hash
commitBranch :: String
commitBranch :: String
commitBranch = String
GitRev.branch
commitDirty :: Bool
commitDirty :: Bool
commitDirty = Bool
GitRev.dirty