ソースパッケージ: acl2 (8.6+dfsg-2)

acl2 に関するリンク

• eLxr パッチ追跡システム

メンテナ:

• Camm Maguire

外部の資源:

• ホームページ [www.cs.utexas.edu]

acl2

Computational Logic for Applicative Common Lisp: main binary

acl2-books

Computational Logic for Applicative Common Lisp: compiled libraries

acl2-books-certs

Computational Logic for Applicative Common Lisp: library certificates

acl2-books-source

Computational Logic for Applicative Common Lisp: library sources

acl2-doc

Computational Logic for Applicative Common Lisp: documentation

acl2-infix

Computational Logic for Applicative Common Lisp: infix interface

acl2-infix-source

Computational Logic for Applicative Common Lisp: infix source

acl2-source

Computational Logic for Applicative Common Lisp: source files

elpa-acl2

Computational Logic for Applicative Common Lisp: emacs interface

その他の acl2 関連パッケージ

• adep: debhelper-compat (= 13)

  パッケージは利用できません

• adep: gcl27 (>= 2.7.1)

  GNU Common Lisp compiler

• adep: debhelper (>= 13)

  helper programs for debian/rules

• adep: texlive-latex-recommended

  TeX Live: LaTeX recommended packages

• adep: time

  GNU time program for measuring CPU resource usage

• adep: texinfo

  Documentation system for on-line information and printed output

• adep: tex-common

  common infrastructure for building and installing TeX

• idep: dh-elpa

  Debian helper tools for packaging emacs lisp extensions

Download acl2