From mboxrd@z Thu Jan 1 00:00:00 1970 From: Vincent Legoll Subject: Re: why is linux-libre-headers behind linux-libre? Date: Tue, 31 Oct 2017 14:00:35 +0100 Message-ID: References: <87bmkn7awd.fsf@albion.it.manchester.ac.uk> Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:56426) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1e9W9z-0007Lx-GA for guix-devel@gnu.org; Tue, 31 Oct 2017 09:00:57 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1e9W9q-0008Pu-34 for guix-devel@gnu.org; Tue, 31 Oct 2017 09:00:51 -0400 In-Reply-To: <87bmkn7awd.fsf@albion.it.manchester.ac.uk> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: Dave Love Cc: guix-devel Hello, On Tue, Oct 31, 2017 at 1:35 PM, Dave Love wrote: > Why is linux-libre-headers a long way behind linux-libre (currently at > version 4.4.47, compared with 4.13.10 for linux-libre)? I suspect this is due to massive rebuilding that would occur when updating linux-libre-headers -- Vincent Legoll