معرفی شرکت ها

acl2-emacs_8.0dfsg-1_all.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Computational Logic for Applicative Common Lisp: emacs interface
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Bionic-18.04
مخزن Ubuntu universe all
نام بسته acl2-emacs
نام فایل بسته acl2-emacs_8.0dfsg-1_all.deb
نسخه بسته 8.0dfsg
انتشار بسته 1
معماری بسته all
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی
مجوز -
حجم دانلود 60340
حجم نصب 286
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 an emacs interface to ACL2.


نیازمندی

مقدار نام
>= 8.0dfsg-1 acl2
- emacs25 | emacsen
>= 6 tex-common


نحوه نصب


نصب پکیج deb acl2-emacs:

    sudo apt-get install acl2-emacs_8.0dfsg-1_all.deb


فایل ها

مسیرها
./etc/emacs/site-start.d/50acl2-emacs.el
./usr/lib/emacsen-common/packages/install/acl2-emacs
./usr/lib/emacsen-common/packages/remove/acl2-emacs
./usr/share/doc/acl2-emacs/changelog.Debian.gz
./usr/share/doc/acl2-emacs/copyright
./usr/share/emacs/site-lisp/acl2/acl2-doc.el
./usr/share/emacs/site-lisp/acl2/acl2-interface-functions.el
./usr/share/emacs/site-lisp/acl2/acl2-interface.el
./usr/share/emacs/site-lisp/acl2/acl2-mode.el
./usr/share/emacs/site-lisp/acl2/emacs-acl2.el
./usr/share/emacs/site-lisp/acl2/inf-acl2.el
./usr/share/emacs/site-lisp/acl2/interface-macros.el
./usr/share/emacs/site-lisp/acl2/key-interface.el
./usr/share/emacs/site-lisp/acl2/load-inferior-acl2.el
./usr/share/emacs/site-lisp/acl2/load-shell-acl2.el
./usr/share/emacs/site-lisp/acl2/mfm-acl2.el
./usr/share/emacs/site-lisp/acl2/mfm.el
./usr/share/emacs/site-lisp/acl2/monitor.el
./usr/share/emacs/site-lisp/acl2/top-start-inferior-acl2.el
./usr/share/emacs/site-lisp/acl2/top-start-shell-acl2.el