معرفی شرکت ها
acl2-books_8.3dfsg-2_mips64el.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
ویژگی | مقدار |
---|---|
سیستم عامل | Linux |
توزیع | Debian Bullseye-11 |
مخزن | Debian main mips64el |
نام بسته | acl2-books |
نام فایل بسته | acl2-books_8.3dfsg-2_mips64el.deb |
نسخه بسته | 8.3dfsg |
انتشار بسته | 2 |
معماری بسته | mips64el |
نگهدارنده | Camm Maguire <camm@debian.org> |
تاریخ ساخت | - |
هاست سازنده | - |
نوع بسته | .deb |
آدرس صفحه اصلی | |
مجوز | - |
حجم دانلود | 265919436 |
حجم نصب | 2435023 |
جایگزین ها
بسته | نسخه | معماری | مخزن |
---|---|---|---|
acl2-books-certs_8.3dfsg-2_all.deb | 8.3dfsg | all | Debian main |
acl2-books-source_8.3dfsg-2_all.deb | 8.3dfsg | all | Debian main |
acl2-books_8.3dfsg-2_amd64.deb | 8.3dfsg | amd64 | Debian main |
acl2-books_8.3dfsg-2_arm64.deb | 8.3dfsg | arm64 | Debian main |
acl2-books_8.3dfsg-2_armel.deb | 8.3dfsg | armel | Debian main |
acl2-books_8.3dfsg-2_armhf.deb | 8.3dfsg | armhf | Debian main |
acl2-books_8.3dfsg-2_i386.deb | 8.3dfsg | i386 | Debian main |
acl2-books_8.3dfsg-2_mipsel.deb | 8.3dfsg | mipsel | Debian main |
acl2-books_8.3dfsg-2_ppc64el.deb | 8.3dfsg | ppc64el | Debian main |
acl2-books_8.3dfsg-2_s390x.deb | 8.3dfsg | s390x | Debian main |
نیازمندی
مقدار | نام |
---|---|
= 8.3dfsg-2 | acl2 |
= 8.3dfsg-2 | acl2-books-certs |
= 8.3dfsg-2 | acl2-books-source |
نحوه نصب
نصب پکیج deb acl2-books:
sudo apt-get install acl2-books_8.3dfsg-2_mips64el.deb