[  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-27 )

  GNU Common Lisp compiler

• 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

  virtual package provided by libreadline5-dev

• adep: emacs21

  The GNU Emacs editor
  also a virtual package provided by emacs21-nox

  or emacsen

  virtual package provided by emacs, emacs21, emacs21-nox, xemacs21-gnome-mule, xemacs21-gnome-mule-canna-wnn, xemacs21-gnome-nomule, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule

• adep: debhelper (>= 4 )

  helper programs for debian/rules

• adep: tetex-bin

  The teTeX programs

• adep: tetex-extra

  Additional TeX input files of teTeX

• adep: tetex-base

  Basic TeX input files of teTeX

• adep: libxmu-dev

  X11 miscellaneous utility library (development headers)

• adep: libxaw7-dev

  X11 Athena Widget library (development headers)

Download acl2

File	Size (in kB)	MD5 checksum
acl2_3.1-1.dsc	0.8 kB	2a54bbb952cf35a8147e9ea43ecc3e69
acl2_3.1.orig.tar.gz	6,571.8 kB	36deb324863e218d5410be9df7cb0b3a
acl2_3.1-1.diff.gz	13.0 kB	93735dd54e96cf3e34a1025ad65284f7