معرفی شرکت ها
acl2-infix_8.3dfsg-2_s390x.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
ویژگی | مقدار |
---|---|
سیستم عامل | Linux |
توزیع | Debian Bullseye-11 |
مخزن | Debian main s390x |
نام بسته | acl2-infix |
نام فایل بسته | acl2-infix_8.3dfsg-2_s390x.deb |
نسخه بسته | 8.3dfsg |
انتشار بسته | 2 |
معماری بسته | s390x |
نگهدارنده | Camm Maguire <camm@debian.org> |
تاریخ ساخت | - |
هاست سازنده | - |
نوع بسته | .deb |
آدرس صفحه اصلی | |
مجوز | - |
حجم دانلود | 445376 |
حجم نصب | 3265 |
جایگزین ها
بسته | نسخه | معماری | مخزن |
---|---|---|---|
acl2-infix-source_8.3dfsg-2_all.deb | 8.3dfsg | all | Debian main |
acl2-infix_8.3dfsg-2_amd64.deb | 8.3dfsg | amd64 | Debian main |
acl2-infix_8.3dfsg-2_arm64.deb | 8.3dfsg | arm64 | Debian main |
acl2-infix_8.3dfsg-2_armel.deb | 8.3dfsg | armel | Debian main |
acl2-infix_8.3dfsg-2_armhf.deb | 8.3dfsg | armhf | Debian main |
acl2-infix_8.3dfsg-2_i386.deb | 8.3dfsg | i386 | Debian main |
acl2-infix_8.3dfsg-2_mips64el.deb | 8.3dfsg | mips64el | Debian main |
acl2-infix_8.3dfsg-2_mipsel.deb | 8.3dfsg | mipsel | Debian main |
acl2-infix_8.3dfsg-2_ppc64el.deb | 8.3dfsg | ppc64el | Debian main |
نیازمندی
مقدار | نام |
---|---|
= 8.3dfsg-2 | acl2 |
- | texlive-latex-recommended |
نحوه نصب
نصب پکیج deb acl2-infix:
sudo apt-get install acl2-infix_8.3dfsg-2_s390x.deb
فایل ها
مسیرها |
---|
./usr/lib/acl2-8.3dfsg/books/interface/infix/infix.o |
./usr/lib/acl2-8.3dfsg/books/interface/infix/latex-init.o |
./usr/lib/acl2-8.3dfsg/books/interface/infix/scribe-init.o |
./usr/share/doc/acl2-infix/changelog.Debian.gz |
./usr/share/doc/acl2-infix/copyright |
./usr/share/doc/acl2-infix/examples/doinfix |
./usr/share/texmf/tex/latex/CLI.sty |
./usr/share/acl2-8.3dfsg/books/interface/infix/infix.o -> ../../../../../lib/acl2-8.3dfsg/books/interface/infix/infix.o |
./usr/share/acl2-8.3dfsg/books/interface/infix/latex-init.o -> ../../../../../lib/acl2-8.3dfsg/books/interface/infix/latex-init.o |
./usr/share/acl2-8.3dfsg/books/interface/infix/scribe-init.o -> ../../../../../lib/acl2-8.3dfsg/books/interface/infix/scribe-init.o |