module Tools_idris where

hasBundledToolchain :: Bool
hasBundledToolchain = Bool
False
getToolchainDir :: [Char]
getToolchainDir = [Char]
""