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
