See http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=297980 for the bug filed against gnat-gps.
-- Ludovic Brenta. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
See http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=297980 for the bug filed against gnat-gps.
-- Ludovic Brenta. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]