linker_unload
Herbert Valerio Riedel
hvriedel at gmail.com
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`
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
More information about the ghc-devs
mailing list