gnat-5 built fine indeed.

Congrats again for having tracked this bug!

I have switched the buildds to using fakeroot-hurd by default, and will
probably bump the alternatives priority soon too.

Samuel

Reply via email to