Package: asis-programs
Version: 2005-5
I installed the package 'asis-programs' because, as stated in the
description of the package, it included the gnatcheck rule checker.
However, the binary is not available in that package. In fact, neither
the executable, man page or documentation is listed i
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
2 matches
Mail list logo