4 commits

Author	SHA1	Message	Date
Juan RP	f117f680af	linux: switch to the 3.10 series.	2013-08-06 08:30:48 +02:00
Juan RP	2156a8a12c	linux: switch to 3.9 series (3.8 branch is EOLed right now).	2013-05-21 22:36:29 +02:00
Juan RP	90a57ae799	linux: depend on linux3.8{,-headers} pkg.	2013-04-29 11:26:18 +02:00
Juan RP	3beb4d0bf5	New (dummy) package: linux which simply depends in our current kernel major version.	2013-04-29 10:31:13 +02:00