Source Package: acl2 (8.5dfsg-5)

Links for acl2

• eLxr Patch Tracker

Ylläpitäjä:

• Camm Maguire

External Resources:

• Kotisivu [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

Muut pakettiin acl2 liittyvät paketit

• adep: debhelper-compat (= 13)

  Paketti ei saatavilla

• adep: gcl (>= 2.6.14-1)

  Paketti ei saatavilla

• 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

• idep: dh-elpa

  Debian helper tools for packaging emacs lisp extensions

Download acl2