Ubuntu
gnat-4.6 package

  1. Bug #824377
  2. Comment #8

Comment 8 for bug 824377

Revision history for this message
Matthias Klose (doko) wrote :

worked around in gnat-4.6 (4.6.1-4ubuntu3)