Santiago, Thank you for the problem report. After investigation, I see that gnatcheck appeared in ASIS 2006, which I initially packaged for Debian. Unfortunately, it turned out not to work with GCC 4.1 (exceptions at run time). I then reverted to ASIS 2005, which does not include gnatcheck, and I forgot to update the package description.
It is my intention to package GCC 4.2 along with either ASIS 2006 or ASIS 2007. These newer versions will include gnatcheck. -- Ludovic Brenta. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
