gnu: linux-libre-headers: Update to 4.1.18.
authorDavid Thompson <dthompson2@worcester.edu>
Wed, 17 Feb 2016 17:15:37 +0000 (12:15 -0500)
committerDavid Thompson <dthompson2@worcester.edu>
Wed, 17 Feb 2016 17:15:37 +0000 (12:15 -0500)
commit419016da81a1433017ea63846d2762d3f52b96fa
tree47a0545778112fb880a6291539015807da5cabfb
parent18caed4475334b282587a27d5e99e504a58a20a6
gnu: linux-libre-headers: Update to 4.1.18.

* gnu/packages/linux.scm (linux-libre-headers): Update to 4.1.18.
gnu/packages/linux.scm