Herbert Valerio Riedel hvriedel at
Tue Nov 25 07:38:38 UTC 2014

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`

TLDR: no, `apt-get dist-upgrade` will not ugrade away from the 12.04.x branch

More information about the ghc-devs mailing list