module Version_idris where

gitHash :: String
gitHash :: String
gitHash = String
"git:PRE"