[  hardy  ] [  lucid  ] [  natty  ] [  oneiric  ] [  precise  ] [  quantal  ]

[ Source: acl2  ]

Links for acl2

Ubuntu Resources:

• Bug Reports
• Ubuntu Changelog
• Copyright File

Download Source Package acl2:

• [acl2_4.2-1.dsc]
• [acl2_4.2.orig.tar.gz]
• [acl2_4.2-1.debian.tar.gz]

Maintainer:

• Ubuntu MOTU Developers (Mail Archive)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

• Camm Maguire

It should generally not be necessary for users to contact the original maintainer.

Similar packages:

• acl2-source
• acl2-doc
• acl2-emacs
• acl2-books-source
• acl2-books
• acl2-books-certs
• acl2-infix
• acl2-infix-source

Other Packages Related to acl2

depends

recommends

suggests

• dep: libc6 (>= 2.11)

  Embedded GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

• dep: libgmp3c2

  Multiprecision arithmetic library

• dep: libncurses5 (>= 5.5-5~)

  shared libraries for terminal handling

• dep: libreadline6 (>= 6.0)

  GNU readline and history libraries, run-time libraries

• dep: libx11-6

  X11 client-side library

• rec: acl2-books

  A Computational Logic for Applicative Common Lisp: compiled libraries

• rec: acl2-source

  A Computational Logic for Applicative Common Lisp: source files

• sug: acl2-emacs

  A Computational Logic for Applicative Common Lisp: emacs interface

Download acl2

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	25,956.8 kB	125,056.0 kB	[list of files]
i386	22,280.4 kB	73,848.0 kB	[list of files]