module Tools_idris where

hasBundledToolchain = False
getToolchainDir = ""