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
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