@@ -97,7 +97,5 @@ showIncs = do incFlags <- getIncFlags
98-- | List idris packages installed
98-- | List idris packages installed
99showPkgs :: IO b
99showPkgs :: IO b
100−showPkgs = do dir <- getIdrisLibDir
100+showPkgs = do mapM putStrLn =<< installedPackages
101− pkgs <- getDirectoryContents dir
102− mapM putStrLn (filter (/= ".") . filter (/= "..") $ pkgs)
103 exitWith ExitSuccess
101 exitWith ExitSuccess