معرفی شرکت ها

gappa_1.4.1-1_s390x.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Automatic generation of proofs of arithmetic properties
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian main s390x
نام بسته gappa
نام فایل بسته gappa_1.4.1-1_s390x.deb
نسخه بسته 1.4.1
انتشار بسته 1
معماری بسته s390x
نگهدارنده Debian Math Team <team+math@tracker.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://gappa.gitlabpages.inria.fr
مجوز -
حجم دانلود 406192
حجم نصب 1464
Tool to help verify and prove properties on numerical programs dealing with either fixed-point or floating-point arithmetic.


جایگزین ها

بسته نسخه معماری مخزن
gappa_1.4.1-1_amd64.deb 1.4.1 amd64 Debian main
gappa_1.4.1-1_arm64.deb 1.4.1 arm64 Debian main
gappa_1.4.1-1_armel.deb 1.4.1 armel Debian main
gappa_1.4.1-1_armhf.deb 1.4.1 armhf Debian main
gappa_1.4.1-1_i386.deb 1.4.1 i386 Debian main
gappa_1.4.1-1_mips64el.deb 1.4.1 mips64el Debian main
gappa_1.4.1-1_mipsel.deb 1.4.1 mipsel Debian main
gappa_1.4.1-1_ppc64el.deb 1.4.1 ppc64el Debian main


نیازمندی

مقدار نام
>= 2.34 libc6
>= 3.0 libgcc-s1
>= 2:6.2.1+dfsg1 libgmp10
>= 3.1.3 libmpfr6
>= 11 libstdc++6
>= 4.3 libjs-sphinxdoc


نحوه نصب


نصب پکیج deb gappa:

    sudo apt-get install gappa_1.4.1-1_s390x.deb