Hi, Please give back libgnatcoll on kfreebsd-i386, now that gprbuild 2014-4 is uploaded/installed, fixing #763727. Thanks, Regards, -- Steven Chamberlain steven@pyro.eu.org