Paths_Agda

version

getBinDir

getLibDir

getDataDir

getLibexecDir

getDataFileName