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

源码包: acl2 (3.6-3)

acl2 的相关链接

本源码包构建了以下这些二进制包:

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

adep: gcl (>= 2.6.7-52)

GNU Common Lisp compiler
adep: libgmp3-dev

Multiprecision arithmetic library developers tools
adep: libncurses5-dev

developer's libraries and docs for ncurses
adep: libreadline-dev

GNU readline and history libraries, development files
同时作为一个虚包由这些包填实: libreadline5-dev
adep: emacs22

GNU Emacs 编辑器
同时作为一个虚包由这些包填实: emacs22-gtk, emacs22-nox

或者 emacsen

本虚包由这些包填实: emacs, emacs21, emacs21-nox, emacs22, emacs22-gtk, emacs22-nox, emacs23, emacs23-lucid, emacs23-nox, xemacs21-gnome-mule, xemacs21-gnome-mule-canna-wnn, xemacs21-gnome-nomule, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule
adep: debhelper (>= 5)

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

测量 cpu 资源使用情况的 GNU time 程序