معرفی شرکت ها

acl2-emacs_8.3dfsg-2_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
توزیع Debian Bullseye-11
مخزن Debian main all
نام بسته acl2-emacs
نام فایل بسته acl2-emacs_8.3dfsg-2_all.deb
نسخه بسته 8.3dfsg
انتشار بسته 2
معماری بسته all
نگهدارنده Camm Maguire <camm@debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی
مجوز -
حجم دانلود 69412
حجم نصب 292
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.3dfsg-2 acl2
- emacs-gtk | emacsen
>= 6.13 tex-common


نحوه نصب


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

    sudo apt-get install acl2-emacs_8.3dfsg-2_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-open-url.el
./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