On 2014-11-25 at 08:23:04 +0100, Karel Gardas wrote: > On 11/25/14 08:18 AM, Herbert Valerio Riedel wrote: >> Would it be possible to update your `sudo apt-get update`& `sudo >> apt-get dist-upgrade` your Linux environment with the latest bugfixes to >> Ubuntu 12.04.5? That way we can be sure it's not a subtle bug already >> fixed upstream... > > I'm not sure, but IMHO this will lead to upgrade to 14.04.1. What you > should use is probably > `sudo apt-get update` & `sudo apt-get upgrade`
http://askubuntu.com/questions/215267/will-apt-get-dist-upgrade-upgrade-my-system-to-newer-version TLDR: no, `apt-get dist-upgrade` will not ugrade away from the 12.04.x branch _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs