DEBFIND Suche nach Debian-Paketen

Suchplatform für Softwarepakete und Archive Debian-basierter Linux-Distributionen

beta ! Diese website wird noch weiterentwickelt.

Liste aller Kategorien/Sektionen | Suchmaske | Haftungsausschluß

Paketbeschreibung


Paketnameadacontrol
BeschreibungAn Ada rules controller
Archiv/RepositoryOffizielles Debian Archiv squeeze (main)
Version1.12r4-1
Sektiondevel
Prioritätoptional
Installierte Größe4688 Byte
Hängt ab vongnat-4.4, libasis2008, libc6 (>= 2.0), libgcc1 (>= 1:4.1.1), libgnat-4.4 (>= 4.4.4-5), libgnatvsn4.4
Empfohlene Pakete
PaketbetreuerLudovic Brenta
Quelle
Paketgröße1618852 Byte
Prüfsumme MD5799039416ab7f9051b1669332df6e4ff
Prüfsumme SHA167bf57b7b65cfb316b61c46b4f35d50349c0ad52
Prüfsumme SHA2563e9d652d85e09cf0e7dfe6d487d0b96f9fda2b523816683b5a0b8ebf0a28a1f1
Link zum Herunterladenadacontrol_1.12r4-1_i386.deb
Ausführliche BeschreibungAdaControl verifies that Ada software meets the requirements of a number of parameterizable rules. It is not intended to supplement checks made by the compiler, but rather to search for particular violations of good-practice rules, or to check that some rules are obeyed project-wide. This package also contains the following utilities: . * pfni: Print Full Name Image - expands any identifier to a fully-qualified name * ptree: Prints a graphic representation of an ASIS tree with corresponding source


Impressum
Linux is a registered trademark of Linus Torvalds