module Version_idris where

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