idris-0.9.11: src/Version_idris.hs

module Version_idris where

gitHash :: String
gitHash = ""