[  etch  ] [  etch-m68k  ] [  squeeze  ] [  sid  ]

Links for acl2

Debian Resources:

• Bug Reports
• Developer Information (PTS)
• Debian Changelog
• Copyright File
• Debian Patch Tracker

Maintainer:

• Camm Maguire (QA Page)

The following binary packages are built from this source package:

acl2

A Computational Logic for Applicative Common Lisp: main binary

acl2-books

A Computational Logic for Applicative Common Lisp: compiled libraries

acl2-books-certs

A Computational Logic for Applicative Common Lisp: library certificates

acl2-books-source

A Computational Logic for Applicative Common Lisp: library sources

acl2-doc

A Computational Logic for Applicative Common Lisp: documentation

acl2-emacs

A Computational Logic for Applicative Common Lisp: emacs interface

acl2-infix

A Computational Logic for Applicative Common Lisp: infix interface

acl2-infix-source

A Computational Logic for Applicative Common Lisp: infix source

acl2-source

A Computational Logic for Applicative Common Lisp: source files

Other Packages Related to acl2

build-depends

build-depends-indep

• adep: gcl (>= 2.6.7-36)

  Package not available

• adep: libgmp3-dev

  Multiprecision arithmetic library developers tools

• adep: libncurses5-dev

  developer's libraries and docs for ncurses

• adep: libreadline5-dev

  GNU readline and history libraries, development files

  or libreadline-dev

  GNU readline and history libraries, development files

• adep: emacs22

  The GNU Emacs editor
  also a virtual package provided by emacs22-gtk, emacs22-nox

  or emacsen

  virtual package provided by emacs, emacs21, emacs21-nox, emacs22, emacs22-gtk, emacs22-nox, emacs23, emacs23-lucid, emacs23-nox

• adep: debhelper (>= 4)

  helper programs for debian/rules

• adep: texlive-latex-recommended

  TeX Live: LaTeX recommended packages

• adep: libxmu-dev

  X11 miscellaneous utility library (development headers)

• adep: libxaw7-dev

  X11 Athena Widget library (development headers)

• adep: time

  The GNU time program for measuring cpu resource usage

Download acl2

File	Size (in kB)	MD5 checksum
acl2_3.4-2.dsc	1.2 kB	85f0e9238e498a84a19eaf56d2ff08d2
acl2_3.4.orig.tar.gz	7,815.7 kB	00c210b69b585941d856616c7a66c463
acl2_3.4-2.diff.gz	13.6 kB	a84e0b5d8ecd58a3857cd85a1e6d7c34