معرفی شرکت ها

acl2-infix_8.0dfsg-1_i386.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Computational Logic for Applicative Common Lisp: infix interface
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Bionic-18.04
مخزن Ubuntu universe i386
نام بسته acl2-infix
نام فایل بسته acl2-infix_8.0dfsg-1_i386.deb
نسخه بسته 8.0dfsg
انتشار بسته 1
معماری بسته i386
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی
مجوز -
حجم دانلود 390264
حجم نصب 1539
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 utilities and libraries to access ACL2 via an infix notation similar to that used in many non-lisp programming languages.


جایگزین ها

بسته نسخه معماری مخزن
acl2-infix-source_8.0dfsg-1_all.deb 8.0dfsg all Ubuntu universe
acl2-infix_8.0dfsg-1_amd64.deb 8.0dfsg amd64 Ubuntu universe


نیازمندی

مقدار نام
= 8.0dfsg-1 acl2
- texlive-latex-recommended


نحوه نصب


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

    sudo apt-get install acl2-infix_8.0dfsg-1_i386.deb


فایل ها

مسیرها
./usr/lib/acl2-8.0dfsg/books/interface/infix/infix.o
./usr/lib/acl2-8.0dfsg/books/interface/infix/latex-init.o
./usr/lib/acl2-8.0dfsg/books/interface/infix/scribe-init.o
./usr/share/doc/acl2-infix/copyright
./usr/share/doc/acl2-infix/examples/doinfix
./usr/share/texmf/tex/latex/CLI.sty
./usr/share/acl2-8.0dfsg/books/interface/infix/infix.o -> ../../../../../lib/acl2-8.0dfsg/books/interface/infix/infix.o
./usr/share/acl2-8.0dfsg/books/interface/infix/latex-init.o -> ../../../../../lib/acl2-8.0dfsg/books/interface/infix/latex-init.o
./usr/share/acl2-8.0dfsg/books/interface/infix/scribe-init.o -> ../../../../../lib/acl2-8.0dfsg/books/interface/infix/scribe-init.o
./usr/share/doc/acl2-infix/changelog.Debian.gz -> ../acl2/changelog.Debian.gz