On Sat, 12 Jan 2013 05:09:41 -0700
Lawrence Graves <lgrave...@gmail.com> wrote:

> what the error message says is that it could not find the kernel
> headers for kernel 3.7.1-5. I know that they were installed. So
> where are the kernel header file if in fact it was installed.

This is where the headers should go: 32bit
http://koji.fedoraproject.org/koji/rpminfo?rpmID=3612780

64 bit:
http://koji.fedoraproject.org/koji/rpminfo?rpmID=3612758

if you have those files,
then the kernel is most likely not your problem.


-- 
Regards,
Frank

"Still trying to learn, both old and new tricks"
                                                --me .
-- 
test mailing list
test@lists.fedoraproject.org
To unsubscribe:
https://admin.fedoraproject.org/mailman/listinfo/test

Reply via email to