معرفی شرکت ها
acl2-infix_8.0dfsg-1_mips.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
ویژگی | مقدار |
---|---|
سیستم عامل | Linux |
توزیع | Debian Buster-10 |
مخزن | Debian main mips |
نام بسته | acl2-infix |
نام فایل بسته | acl2-infix_8.0dfsg-1_mips.deb |
نسخه بسته | 8.0dfsg |
انتشار بسته | 1 |
معماری بسته | mips |
نگهدارنده | Camm Maguire <camm@debian.org> |
تاریخ ساخت | - |
هاست سازنده | - |
نوع بسته | .deb |
آدرس صفحه اصلی | |
مجوز | - |
حجم دانلود | 431240 |
حجم نصب | 1765 |
جایگزین ها
بسته | نسخه | معماری | مخزن |
---|---|---|---|
acl2-infix-source_8.0dfsg-1_all.deb | 8.0dfsg | all | Debian main |
acl2-infix_8.0dfsg-1+b1_armel.deb | 8.0dfsg | armel | Debian main |
acl2-infix_8.0dfsg-1_amd64.deb | 8.0dfsg | amd64 | Debian main |
acl2-infix_8.0dfsg-1_arm64.deb | 8.0dfsg | arm64 | Debian main |
acl2-infix_8.0dfsg-1_armhf.deb | 8.0dfsg | armhf | Debian main |
acl2-infix_8.0dfsg-1_i386.deb | 8.0dfsg | i386 | Debian main |
acl2-infix_8.0dfsg-1_mips64el.deb | 8.0dfsg | mips64el | Debian main |
acl2-infix_8.0dfsg-1_mipsel.deb | 8.0dfsg | mipsel | Debian main |
acl2-infix_8.0dfsg-1_ppc64el.deb | 8.0dfsg | ppc64el | Debian main |
acl2-infix_8.0dfsg-1_s390x.deb | 8.0dfsg | s390x | Debian main |
نیازمندی
مقدار | نام |
---|---|
= 8.0dfsg-1 | acl2 |
- | texlive-latex-recommended |
نحوه نصب
نصب پکیج deb acl2-infix:
sudo apt-get install acl2-infix_8.0dfsg-1_mips.deb
فایل ها
مسیرها |
---|
./usr/lib/acl2-8.0dfsg/books/interface/infix/infix.o |
./usr/lib/acl2-8.0dfsg/books/interface/infix/latex-init.o |
./usr/lib/acl2-8.0dfsg/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.0dfsg/books/interface/infix/infix.o -> ../../../../../lib/acl2-8.0dfsg/books/interface/infix/infix.o |
./usr/share/acl2-8.0dfsg/books/interface/infix/latex-init.o -> ../../../../../lib/acl2-8.0dfsg/books/interface/infix/latex-init.o |
./usr/share/acl2-8.0dfsg/books/interface/infix/scribe-init.o -> ../../../../../lib/acl2-8.0dfsg/books/interface/infix/scribe-init.o |