module GHC.Version where

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

cProjectGitCommitId   :: String
cProjectGitCommitId :: String
cProjectGitCommitId   = String
"6111c5e4c4aad2f4e97af62ae304e96bed6ed1e3"

cProjectVersion       :: String
cProjectVersion :: String
cProjectVersion       = String
"9.13.20250424"

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

cProjectPatchLevel    :: String
cProjectPatchLevel :: String
cProjectPatchLevel    = String
"20250424"

cProjectPatchLevel1   :: String
cProjectPatchLevel1 :: String
cProjectPatchLevel1   = String
"20250424"

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