From mboxrd@z Thu Jan 1 00:00:00 1970 From: Andreas Enge Subject: Linux-libre Date: Thu, 29 May 2014 16:30:26 +0200 Message-ID: <20140529143026.GA12567@debian> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:44415) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Wq1Ls-0007La-KX for guix-devel@gnu.org; Thu, 29 May 2014 10:30:49 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Wq1Lk-0003P2-4O for guix-devel@gnu.org; Thu, 29 May 2014 10:30:40 -0400 Received: from mout.kundenserver.de ([212.227.17.24]:61823) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Wq1Lj-0003OJ-Rw for guix-devel@gnu.org; Thu, 29 May 2014 10:30:32 -0400 Content-Disposition: inline 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-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: guix-devel@gnu.org Hello, I just noticed the following: $ guix package -A linux-libre linux-libre 3.13.7 out gnu/packages/linux.scm:210:3 linux-libre-headers 3.3.8 out gnu/packages/linux.scm:97:3 Should the two versions not be made to coincide? I came acroos this when looking for linux/module.h, for which the configure of kmod looks, itself a dependency of udev. Apparently, we do not have this header file, while it is available in the debian package linux-headers-3.2.0-4-common. How come? Andreas