Your terminal—and your patience—will thank you.
Follow the video tutorials for your specific server type (NA, EU, BR, or Private). gtools cabal download hot
(edit ~/.cabal/config ):