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

ソースパッケージ: acl2 (3.6-1)

acl2 に関するリンク

以下のバイナリパッケージがこのソースパッケージからビルドされています。

構築依存	構築依存 (アーキテクチャ非依存)

adep: gcl (>= 2.6.7-36)

GNU Common Lisp コンパイラ
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)

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

GNU time - CPU リソース使用度計測プログラム