معرفی شرکت ها
acl2-source_8.0dfsg-1_all.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Buster-10 |
| مخزن | Debian main all |
| نام بسته | acl2-source |
| نام فایل بسته | acl2-source_8.0dfsg-1_all.deb |
| نسخه بسته | 8.0dfsg |
| انتشار بسته | 1 |
| معماری بسته | all |
| نگهدارنده | Camm Maguire <camm@debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | |
| مجوز | - |
| حجم دانلود | 3081324 |
| حجم نصب | 16211 |
نیازمندی
| مقدار | نام |
|---|---|
| >= 6 | tex-common |
نحوه نصب
نصب پکیج deb acl2-source:
sudo apt-get install acl2-source_8.0dfsg-1_all.deb
فایل ها
| مسیرها |
|---|
| ./usr/share/acl2-8.0dfsg/TAGS |
| ./usr/share/acl2-8.0dfsg/acl2-check.lisp |
| ./usr/share/acl2-8.0dfsg/acl2-fns.lisp |
| ./usr/share/acl2-8.0dfsg/acl2-init.lisp |
| ./usr/share/acl2-8.0dfsg/acl2-proclaims.lisp |
| ./usr/share/acl2-8.0dfsg/acl2.lisp |
| ./usr/share/acl2-8.0dfsg/acl2r.lisp |
| ./usr/share/acl2-8.0dfsg/akcl-acl2-trace.lisp |
| ./usr/share/acl2-8.0dfsg/allegro-acl2-trace.lisp |
| ./usr/share/acl2-8.0dfsg/apply-constraints.lisp |
| ./usr/share/acl2-8.0dfsg/apply-prim.lisp |
| ./usr/share/acl2-8.0dfsg/apply-raw.lisp |
| ./usr/share/acl2-8.0dfsg/apply.lisp |
| ./usr/share/acl2-8.0dfsg/axioms.lisp |
| ./usr/share/acl2-8.0dfsg/basis-a.lisp |
| ./usr/share/acl2-8.0dfsg/basis-b.lisp |
| ./usr/share/acl2-8.0dfsg/bdd.lisp |
| ./usr/share/acl2-8.0dfsg/boot-strap-pass-2-a.lisp |
| ./usr/share/acl2-8.0dfsg/boot-strap-pass-2-b.lisp |
| ./usr/share/acl2-8.0dfsg/defpkgs.lisp |
| ./usr/share/acl2-8.0dfsg/defthm.lisp |
| ./usr/share/acl2-8.0dfsg/defuns.lisp |
| ./usr/share/acl2-8.0dfsg/doc.lisp |
| ./usr/share/acl2-8.0dfsg/futures-raw.lisp |
| ./usr/share/acl2-8.0dfsg/history-management.lisp |
| ./usr/share/acl2-8.0dfsg/hons-raw.lisp |
| ./usr/share/acl2-8.0dfsg/hons.lisp |
| ./usr/share/acl2-8.0dfsg/induct.lisp |
| ./usr/share/acl2-8.0dfsg/init.lisp |
| ./usr/share/acl2-8.0dfsg/interface-raw.lisp |
| ./usr/share/acl2-8.0dfsg/ld.lisp |
| ./usr/share/acl2-8.0dfsg/linear-a.lisp |
| ./usr/share/acl2-8.0dfsg/linear-b.lisp |
| ./usr/share/acl2-8.0dfsg/mcl-acl2-startup.lisp |
| ./usr/share/acl2-8.0dfsg/memoize-raw.lisp |
| ./usr/share/acl2-8.0dfsg/memoize.lisp |
| ./usr/share/acl2-8.0dfsg/multi-threading-raw.lisp |
| ./usr/share/acl2-8.0dfsg/non-linear.lisp |
| ./usr/share/acl2-8.0dfsg/openmcl-acl2-trace.lisp |
| ./usr/share/acl2-8.0dfsg/other-events.lisp |
| ./usr/share/acl2-8.0dfsg/other-processes.lisp |
| ./usr/share/acl2-8.0dfsg/parallel-raw.lisp |
| ./usr/share/acl2-8.0dfsg/parallel.lisp |
| ./usr/share/acl2-8.0dfsg/proof-builder-a.lisp |
| ./usr/share/acl2-8.0dfsg/proof-builder-b.lisp |
| ./usr/share/acl2-8.0dfsg/proof-builder-pkg.lisp |
| ./usr/share/acl2-8.0dfsg/prove.lisp |
| ./usr/share/acl2-8.0dfsg/rewrite.lisp |
| ./usr/share/acl2-8.0dfsg/serialize-raw.lisp |
| ./usr/share/acl2-8.0dfsg/serialize.lisp |
| ./usr/share/acl2-8.0dfsg/simplify.lisp |
| ./usr/share/acl2-8.0dfsg/tau.lisp |
| ./usr/share/acl2-8.0dfsg/translate.lisp |
| ./usr/share/acl2-8.0dfsg/type-set-a.lisp |
| ./usr/share/acl2-8.0dfsg/type-set-b.lisp |
| ./usr/share/doc/acl2-source/changelog.Debian.gz |
| ./usr/share/doc/acl2-source/copyright |