If you could provide more context about gtools cabal download hot or clarify what "hot" cabal files are in your context, I can offer a more specific solution.