module
Version_idris
where
gitHash
::
String
gitHash :: String
gitHash
=
String
"git:PRE"