[  sarge  ] [  etch  ] [  etch-m68k  ] [  lenny  ] [  sid  ]
[ ソース: acl2  ]

パッケージ: acl2 (2.9-2)

Applicative Common Lisp 用計算論理: メインバイナリ

ACL2 はコンピュータシステムのモデル化を行なえるプログラミング言語で あり、かつそのモデルの特性実験を補助してくれるツールでもあります。

本パッケージには基本的な ACL2 バイナリが含まれます。

その他の acl2 関連パッケージ

  • 依存
  • 推奨
  • 提案
  • dep: libc6 (>= 2.3.2.ds1-4) [alpha, ia64 以外]
    GNU C Library: Shared libraries and Timezone data
    以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
  • dep: libc6.1 (>= 2.3.2.ds1-4) [alpha, ia64]
    GNU C Library: Shared libraries and Timezone data
    以下のパッケージによって提供される仮想パッケージでもあります: libc6.1-udeb
  • dep: libgmp3
    Multiprecision arithmetic library
  • dep: libncurses5 (>= 5.4-1)
    端末操作のための共有ライブラリ
  • dep: libreadline4 (>= 4.3-1)
    GNU readline および history ライブラリ - ランタイムライブラリ
  • rec: acl2-books
    Applicative Common Lisp 用計算論理: コンパイル済みライブラリ
  • rec: acl2-source
    Applicative Common Lisp 用の計算論理: ソースファイル
  • sug: acl2-emacs
    Applicative Common Lisp 用の計算論理 - Emacs インターフェイス

acl2 のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ パッケージサイズ インストールサイズ ファイル
alpha 14,906.1 kB73468 kB [ファイル一覧]
amd64 (非公式の移植版) 16,320.3 kB72968 kB [ファイル一覧]
arm 14,138.2 kB43608 kB [ファイル一覧]
hppa 14,001.5 kB46332 kB [ファイル一覧]
i386 13,409.1 kB41788 kB [ファイル一覧]
ia64 16,070.5 kB80904 kB [ファイル一覧]
m68k 13,303.4 kB40516 kB [ファイル一覧]
mips 13,965.6 kB44196 kB [ファイル一覧]
mipsel 13,317.3 kB44208 kB [ファイル一覧]
powerpc 15,788.2 kB48220 kB [ファイル一覧]
s390 14,748.3 kB45188 kB [ファイル一覧]
sparc 21,845.3 kB128112 kB [ファイル一覧]