On Wed, Aug 1, 2012 at 11:51 AM, rafael ff1 <rafael.f.f1@xxxxxxxxx> wrote: > > archlinux.org > packages > package name 'linux' from [core] repo > > "Source files"... The result is the url > https://projects.archlinux.org/svntogit/packages.git/tree/trunk?h=packages/linux I just did it and I got a PKBUILD for linux 3.5. The current version is 3.4.7-1 (synced just a few minutes ago). Maybe the mirror I used was not synced? Can you check the kernel version you have (assuming you synced recently)? Thanks J.