On Mon, May 4, 2015 at 10:39 PM, Björn Persson <Bjorn@rombobjörn.se> wrote: > Peter Robinson <pbrobinson@xxxxxxxxx> wrote: >> On Sat, May 2, 2015 at 10:13 PM, Björn Persson <Bjorn@rombobjörn.se> wrote: >> > OK, here we go: >> > · one patch to Gnatcoll for GCC 5 >> > · one patch to Matreshka for GCC 5 >> > · another patch to build Matreshka in spite of bug 1151793 >> > · one fix to GPRbuild that is needed before Matreshka can be built >> > · and a better workaround for the libgnat version issue that really >> > should get in before the release. >> >> All of those are now built, also fixed up rawhide too > > Thanks for all your help. I don't yet see the fixed GPRbuild in Bodhi > though. Did you mean to submit that? Oops, gprbuild-2014-5.fc22 added now -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel Fedora Code of Conduct: http://fedoraproject.org/code-of-conduct
