معرفی شرکت ها

adacontrol_1.21r6b-2_amd64.deb

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

Ada rules controller
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Focal-20.04
مخزن Ubuntu universe amd64
نام بسته adacontrol
نام فایل بسته adacontrol_1.21r6b-2_amd64.deb
نسخه بسته 1.21r6b
انتشار بسته 2
معماری بسته amd64
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://www.adalog.fr/en/adacontrol.html
مجوز -
حجم دانلود 1689544
حجم نصب 6291
AdaControl 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 * adactl_fix: automatically fix some violations.


جایگزین ها

بسته نسخه معماری مخزن
adacontrol-doc_1.21r6b-2_all.deb 1.21r6b all Ubuntu universe


نیازمندی

مقدار نام
>= 2019 libasis2019
>= 2.14 libc6
>= 3.0 libgcc-s1
>= 9.2.1 libgnat-9
>= 19 libgnatcoll18
>= 2019 libgnatprj7
>= 9.2.1-30ubuntu1 libgnatvsn9
>= 19 libxmlada-dom6
>= 19 libxmlada-input6
>= 19 libxmlada-sax6
>= 19 libxmlada-schema6
>= 19 libxmlada-unicode6


نحوه نصب


نصب پکیج deb adacontrol:

    sudo apt-get install adacontrol_1.21r6b-2_amd64.deb


فایل ها

مسیرها
./usr/bin/adactl
./usr/bin/adactl_fix
./usr/bin/pfni
./usr/bin/ptree
./usr/share/adacontrol/SQALE.aru
./usr/share/adacontrol/gnatcheck.aru
./usr/share/adacontrol/nasa.aru
./usr/share/adacontrol/no_83_unit_name.aru
./usr/share/adacontrol/no_annex_c.aru
./usr/share/adacontrol/no_annex_d.aru
./usr/share/adacontrol/no_annex_e.aru
./usr/share/adacontrol/no_annex_f.aru
./usr/share/adacontrol/no_annex_g.aru
./usr/share/adacontrol/no_annex_h.aru
./usr/share/adacontrol/no_gnat_attribute.aru
./usr/share/adacontrol/no_io.aru
./usr/share/adacontrol/no_obsolescent_features.aru
./usr/share/adacontrol/no_standard_entity.aru
./usr/share/adacontrol/no_standard_unit.aru
./usr/share/adacontrol/no_system_entity.aru
./usr/share/adacontrol/ravenscar.aru
./usr/share/adacontrol/reserved_2005.aru
./usr/share/adacontrol/verif.aru
./usr/share/doc/adacontrol/changelog.Debian.gz
./usr/share/doc/adacontrol/copyright
./usr/share/gprconfig/adacontrol.xml
./usr/share/gps/plug-ins/adacontrol.xml
./usr/share/gps/plug-ins/adactl-ask.gif
./usr/share/gps/plug-ins/adactl-ask.svg
./usr/share/gps/plug-ins/adactl-file.gif
./usr/share/gps/plug-ins/adactl-file.svg
./usr/share/gps/plug-ins/adactl.py
./usr/share/gps/plug-ins/pfni.py
./usr/share/gps/plug-ins/pfni.xml
./usr/share/gps/plug-ins/zadactl.xml
./usr/share/man/man1/adactl.1.gz
./usr/share/man/man1/adactl_fix.1.gz
./usr/share/man/man1/pfni.1.gz
./usr/share/man/man1/ptree.1.gz