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

[ Källkod: acl2  ]

Länkar för acl2-emacs

Debianresurser:

• Felrapporter
• Utvecklarinformation (PTS)
• Ändringslogg för Debian
• Upphovsrättsfil

Hämta källkodspaketet acl2:

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

Ansvarig:

• Camm Maguire (QA-sida)

Liknande paket:

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

Andra paket besläktade med acl2-emacs

beror

rekommenderar

föreslår

• dep: acl2 (= 2.9-2)

  A Computational Logic for Applicative Common Lisp: main binary

• dep: emacs21

  GNUs Emacs-editor
  också ett virtuellt paket som tillhandahålls av emacs21-nox

  eller emacsen

  GNUs Emacs-editor virtuellt paket som tillhandahålls av emacs21, emacs21-nox, xemacs21-gnome-mule, xemacs21-gnome-mule-canna-wnn, xemacs21-gnome-nomule, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule

Hämta acl2-emacs

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Paketstorlek	Installerad storlek	Filer
all	47,6 kbyte	284 kbyte	[filförteckning]