Paths_Agda
version
getBinDir
getLibDir
getDataDir
getLibexecDir
getDataFileName