On Thu, 06 Feb 2014 14:05:13 +0100, Ludovic Brenta wrote: <snip>
Since you seem to have time for gnat-4.9, could you please try to re-enable ada-kfreebsd.diff (in debian/rules.patch) and update the patch?
I'll try, but it will certainly take some time for validation because I would like to setup a kfreebsd/Debian machine to do so.
xavier