[  sarge  ] [  etch  ] [  etch-m68k  ] [  lenny  ] [  sid  ]

[ Source: acl2  ]

Links for acl2-emacs

Debian Resources:

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

Download Source Package acl2:

• [acl2_2.9-2.dsc]
• [acl2_2.9.orig.tar.gz]
• [acl2_2.9-2.diff.gz]

Maintainer:

• Camm Maguire (QA Page)

Similar packages:

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

Other Packages Related to acl2-emacs

depends

recommends

suggests

• dep: acl2 (= 2.9-2)

  A Computational Logic for Applicative Common Lisp: main binary

• dep: emacs21

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

  or emacsen

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

Download acl2-emacs

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	47.6 kB	284 kB	[list of files]