معرفی شرکت ها


adacontrol_1.21r6b-7_mipsel.deb


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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Ada rules controller
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bullseye-11
مخزن Debian main mipsel
نام بسته adacontrol
نام فایل بسته adacontrol_1.21r6b-7_mipsel.deb
نسخه بسته 1.21r6b
انتشار بسته 7
معماری بسته mipsel
نگهدارنده Ludovic Brenta <lbrenta@debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://www.adalog.fr/en/adacontrol.html
مجوز -
حجم دانلود 1301368
حجم نصب 7482
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-7_all.deb 1.21r6b all Debian main
adacontrol_1.21r6b-7_amd64.deb 1.21r6b amd64 Debian main
adacontrol_1.21r6b-7_arm64.deb 1.21r6b arm64 Debian main
adacontrol_1.21r6b-7_armel.deb 1.21r6b armel Debian main
adacontrol_1.21r6b-7_armhf.deb 1.21r6b armhf Debian main
adacontrol_1.21r6b-7_i386.deb 1.21r6b i386 Debian main
adacontrol_1.21r6b-7_mips64el.deb 1.21r6b mips64el Debian main
adacontrol_1.21r6b-7_ppc64el.deb 1.21r6b ppc64el Debian main
adacontrol_1.21r6b-7_s390x.deb 1.21r6b s390x Debian main


نیازمندی

مقدار نام
>= 2019 libasis2019.1
>= 2.4 libc6
>= 4.2 libgcc-s1
>= 10.2.1 libgnat-10
>= 10.2.1-1 libgnat-util10
>= 21.0.0 libgnatcoll19
>= 2021.0.0.0778b109 libgnatprj8
>= 21.0.0 libxmlada-dom7
>= 21.0.0 libxmlada-input7
>= 21.0.0 libxmlada-sax7
>= 21.0.0 libxmlada-schema7
>= 21.0.0 libxmlada-unicode7


نحوه نصب


نصب پکیج deb adacontrol:

    sudo apt-get install adacontrol_1.21r6b-7_mipsel.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/changelog.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