معرفی شرکت ها


acl2_8.0dfsg-1_arm64.deb


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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Computational Logic for Applicative Common Lisp: main binary
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Buster-10
مخزن Debian main arm64
نام بسته acl2
نام فایل بسته acl2_8.0dfsg-1_arm64.deb
نسخه بسته 8.0dfsg
انتشار بسته 1
معماری بسته arm64
نگهدارنده Camm Maguire <camm@debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی
مجوز -
حجم دانلود 17862108
حجم نصب 216217
ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models. . This package contains the base ACL2 binary.


جایگزین ها

بسته نسخه معماری مخزن
acl2-books-certs_8.0dfsg-1_all.deb 8.0dfsg all Debian main
acl2-books-source_8.0dfsg-1_all.deb 8.0dfsg all Debian main
acl2-books_8.0dfsg-1+b1_armel.deb 8.0dfsg armel Debian main
acl2-books_8.0dfsg-1_amd64.deb 8.0dfsg amd64 Debian main
acl2-books_8.0dfsg-1_arm64.deb 8.0dfsg arm64 Debian main
acl2-books_8.0dfsg-1_armhf.deb 8.0dfsg armhf Debian main
acl2-books_8.0dfsg-1_i386.deb 8.0dfsg i386 Debian main
acl2-books_8.0dfsg-1_mips.deb 8.0dfsg mips Debian main
acl2-books_8.0dfsg-1_mips64el.deb 8.0dfsg mips64el Debian main
acl2-books_8.0dfsg-1_mipsel.deb 8.0dfsg mipsel Debian main
acl2-books_8.0dfsg-1_ppc64el.deb 8.0dfsg ppc64el Debian main
acl2-books_8.0dfsg-1_s390x.deb 8.0dfsg s390x Debian main
acl2-doc_8.0dfsg-1_all.deb 8.0dfsg all Debian main
acl2-emacs_8.0dfsg-1_all.deb 8.0dfsg all Debian main
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_mips.deb 8.0dfsg mips 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
acl2-source_8.0dfsg-1_all.deb 8.0dfsg all Debian main
acl2_8.0dfsg-1+b1_armel.deb 8.0dfsg armel Debian main
acl2_8.0dfsg-1_amd64.deb 8.0dfsg amd64 Debian main
acl2_8.0dfsg-1_armhf.deb 8.0dfsg armhf Debian main
acl2_8.0dfsg-1_i386.deb 8.0dfsg i386 Debian main
acl2_8.0dfsg-1_mips.deb 8.0dfsg mips Debian main
acl2_8.0dfsg-1_mips64el.deb 8.0dfsg mips64el Debian main
acl2_8.0dfsg-1_mipsel.deb 8.0dfsg mipsel Debian main
acl2_8.0dfsg-1_ppc64el.deb 8.0dfsg ppc64el Debian main
acl2_8.0dfsg-1_s390x.deb 8.0dfsg s390x Debian main


نیازمندی

مقدار نام
>= 2.17 libc6
>= 1:3.0 libgcc1
- libgmp10
>= 6.0 libreadline7
- libx11-6


نحوه نصب


نصب پکیج deb acl2:

    sudo apt-get install acl2_8.0dfsg-1_arm64.deb


فایل ها

مسیرها
./usr/bin/acl2
./usr/lib/acl2-8.0dfsg/saved_acl2
./usr/share/doc/acl2/README.Debian.gz
./usr/share/doc/acl2/TODO.Debian
./usr/share/doc/acl2/changelog.Debian.gz
./usr/share/doc/acl2/copyright
./usr/share/doc/acl2/mini-proveall.out.gz
./usr/share/doc/acl2/test.log.gz
./usr/share/man/man1/acl2.1.gz
./usr/share/acl2-8.0dfsg/saved_acl2 -> ../../lib/acl2-8.0dfsg/saved_acl2