module GHC.Version where

import Prelude -- See Note [Why do we import Prelude here?]

cProjectGitCommitId   :: String
cProjectGitCommitId :: String
cProjectGitCommitId   = String
"704eeb02b072543bcb795113a50adf201fe709ab"

cProjectVersion       :: String
cProjectVersion :: String
cProjectVersion       = String
"9.13.20250130"

cProjectVersionInt    :: String
cProjectVersionInt :: String
cProjectVersionInt    = String
"913"

cProjectPatchLevel    :: String
cProjectPatchLevel :: String
cProjectPatchLevel    = String
"20250130"

cProjectPatchLevel1   :: String
cProjectPatchLevel1 :: String
cProjectPatchLevel1   = String
"20250130"

cProjectPatchLevel2   :: String
cProjectPatchLevel2 :: String
cProjectPatchLevel2   = String
"0"