module GHC.Version where

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

cProjectGitCommitId   :: String
cProjectGitCommitId :: String
cProjectGitCommitId   = String
"b255a8ca815920f5219dd5136bbb505f684b7e26"

cProjectVersion       :: String
cProjectVersion :: String
cProjectVersion       = String
"9.13.20250602"

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

cProjectPatchLevel    :: String
cProjectPatchLevel :: String
cProjectPatchLevel    = String
"20250602"

cProjectPatchLevel1   :: String
cProjectPatchLevel1 :: String
cProjectPatchLevel1   = String
"20250602"

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