On Sun, Jul 26, 2015 at 9:11 AM, Patrick Dupre <pdupre@gmx.com> wrote:
Hello,

Where can I get the rpm package:

kernel-PAE-3.19.5-100.fc20.i686  ?

Have you looked directly through koji?

http://koji.fedoraproject.org/koji/packageinfo?buildStart=50&packageID=8&buildOrder=-completion_time&tagOrder=name&tagStart=0#buildlist

http://koji.fedoraproject.org/koji/buildinfo?buildID=629572

Thanks,
Richard