void-packages/srcpkgs/kernel
Juan RP 0bfb8acfbf kernel: update to 3.5.2. 2012-08-16 09:13:39 +02:00
..
files kernel: update to 3.5.1. 2012-08-13 18:58:45 +02:00
patches
kernel-headers.template kernel: switch to /usr. 2012-07-09 20:06:40 +02:00
template kernel: update to 3.5.2. 2012-08-16 09:13:39 +02:00