module Tools_idris where

hasBundledToolchain :: Bool
hasBundledToolchain = Bool
False
getToolchainDir :: String
getToolchainDir = String
""