void-packages/srcpkgs/linux3.8
Juan RP 071abd6766 Rename kernel pkg to linux3.8 and update it to 3.8.10. 2013-04-29 11:23:00 +02:00
..
files
template