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 in that package:
usr/bin/asistant devel/asis-programs usr/bin/display_source devel/asis-programs usr/bin/gnatelim devel/asis-programs usr/bin/gnatmetric devel/asis-programs usr/bin/gnatpp devel/asis-programs usr/bin/gnatstub devel/asis-programs usr/share/doc/asis-programs/README.display_source.gz devel/asis-programs usr/share/doc/asis-programs/README.gnatmetric.gz devel/asis-programs usr/share/doc/asis-programs/README.gnatpp.gz devel/asis-programs usr/share/doc/asis-programs/README.gz devel/asis-programs usr/share/doc/asis-programs/changelog.Debian.gz devel/asis-programs usr/share/doc/asis-programs/copyright devel/asis-programs usr/share/man/man1/asistant.1.gz devel/asis-programs usr/share/man/man1/display_source.1.gz devel/asis-programs usr/share/man/man1/gnatelim.1.gz devel/asis-programs usr/share/man/man1/gnatmetric.1.gz devel/asis-programs usr/share/man/man1/gnatpp.1.gz devel/asis-programs usr/share/man/man1/gnatstub.1.gz devel/asis-programs Best regards, -- Santiago Urueña Pascual <[EMAIL PROTECTED]>
