معرفی شرکت ها
cadical_1.5.3-2_mips64el.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
ویژگی | مقدار |
---|---|
سیستم عامل | Linux |
توزیع | Debian Bookworm-12 |
مخزن | Debian main mips64el |
نام بسته | cadical |
نام فایل بسته | cadical_1.5.3-2_mips64el.deb |
نسخه بسته | 1.5.3 |
انتشار بسته | 2 |
معماری بسته | mips64el |
نگهدارنده | Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net> |
تاریخ ساخت | - |
هاست سازنده | - |
نوع بسته | .deb |
آدرس صفحه اصلی | http://fmv.jku.at/cadical/ |
مجوز | - |
حجم دانلود | 313892 |
حجم نصب | 1845 |
جایگزین ها
بسته | نسخه | معماری | مخزن |
---|---|---|---|
cadical_1.5.3-2_amd64.deb | 1.5.3 | amd64 | Debian main |
cadical_1.5.3-2_arm64.deb | 1.5.3 | arm64 | Debian main |
cadical_1.5.3-2_armel.deb | 1.5.3 | armel | Debian main |
cadical_1.5.3-2_armhf.deb | 1.5.3 | armhf | Debian main |
cadical_1.5.3-2_i386.deb | 1.5.3 | i386 | Debian main |
cadical_1.5.3-2_mipsel.deb | 1.5.3 | mipsel | Debian main |
cadical_1.5.3-2_ppc64el.deb | 1.5.3 | ppc64el | Debian main |
cadical_1.5.3-2_s390x.deb | 1.5.3 | s390x | Debian main |
نیازمندی
مقدار | نام |
---|---|
>= 2.34 | libc6 |
>= 3.0 | libgcc-s1 |
>= 11 | libstdc++6 |
نحوه نصب
نصب پکیج deb cadical:
sudo apt-get install cadical_1.5.3-2_mips64el.deb
فایل ها
مسیرها |
---|
./usr/bin/cadical |
./usr/bin/mobical |
./usr/share/doc/cadical/changelog.Debian.gz |
./usr/share/doc/cadical/copyright |
./usr/share/man/man1/cadical.1.gz |
./usr/share/man/man1/mobical.1.gz |