module Version_idris where

gitHash :: String
gitHash = ""