Re: [PATCH] gnu: linux-libre-headers: Update to 3.18.11

2015-04-15 Thread Ludovic Courtès
Mark H Weaver skribis: > "Jason Self" writes: >> Also, since Alexandre Oliva periodically removes tarballs so as to >> free up space on the virtual machine that hosts these, it might also >> be a good idea to put a copy of linux-libre-3.18.11-gnu.tar.xz in >> http://alpha.gnu.org/gnu/guix/mirror

Re: [PATCH] gnu: linux-libre-headers: Update to 3.18.11

2015-04-14 Thread Jason Self
Mark H Weaver declared: > Updating linux-libre-headers entails a full rebuild of everything in > Guix. Yes, I know. It was on my To Do list & I hadn't picked up on that the update was already done so never mind. signature.asc Description: PGP signature

Re: [PATCH] gnu: linux-libre-headers: Update to 3.18.11

2015-04-14 Thread Mark H Weaver
"Jason Self" writes: > I understand that updated headers are needed in order for the new > version of VLC to compile successfully. Updating linux-libre-headers entails a full rebuild of everything in Guix. As Andreas noted, I updated it to the latest LTS (3.14.37) in the core-updates branch, whi

Re: [PATCH] gnu: linux-libre-headers: Update to 3.18.11

2015-04-14 Thread Andreas Enge
Hello, the following is already in core-updates: commit e081385af289da4c330511aa5adac8078fbd5074 Author: Mark H Weaver Date: Mon Apr 6 10:25:03 2015 -0400 gnu: linux-libre-headers: Update to 3.14.37. * gnu/packages/linux.scm (linux-libre-headers): Update to 3.14.37. We should try first