[arch-general] Arch kernel

[Jorge Almeida]

On Wed, Aug 1, 2012 at 11:51 AM, rafael ff1 <rafael.f.f1 at gmail.com> 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.