gcc-gnat sources

["Pavel Zhukov" <pavel@zhukoff.net>]

Hi all

My name is Pavel and I'm Fedora packager.
Currently I'm working on Ada packages from GNAT-2011. But I have some 
troubles with gprbuild. Gprbuild-2011 contains SPARK support in /gnat 
subfolder. I have to point gcc-gnat sources before configure to avoid 
this (gprbuild README), but gcc-gnat doesn't bring any sources after 
installation. Does anybody solve this issue?

Redhat bugzilla:
https://bugzilla.redhat.com/show_bug.cgi?id=722732
GCC bugzilla:
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49783

--
Regards Pavel Zhukov
pavel@zhukoff.net