パッケージ: acl2 (3.1-1)

acl2 に関するリンク

acl2 ソースパッケージをダウンロード:

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

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

タグ: ソフトウェア開発: インタプリタ, Lisp での開発, 分野: 数学, 実装言語: Lisp, ユーザインタフェース: テキストベースの対話, 役割: プログラム, 対象範囲: ユーティリティ, インタフェースツールキット: Ncurses TUI, 取り扱い対象: ソースコード

dep: libc6 (>= 2.3.5-1) [alpha, ia64 以外]

GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
dep: libc6.1 (>= 2.3.5-1) [alpha, ia64]

GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6.1-udeb
dep: libgmp3c2

Multiprecision arithmetic library
dep: libice6 (>= 1:1.0.0)

X11 Inter-Client Exchange library
dep: libncurses5 (>= 5.4-5)

Shared libraries for terminal handling
dep: libreadline5 (>= 5.2)

GNU readline および history ライブラリ - ランタイムライブラリ
dep: libsm6

X11 Session Management library
dep: libx11-6

X11 client-side library
dep: libxaw7

X11 Athena Widget library
dep: libxext6

X11 miscellaneous extension library
dep: libxmu6

X11 miscellaneous utility library
dep: libxt6

X11 toolkit intrinsics library

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	パッケージサイズ	インストールサイズ	ファイル
alpha	16,159.1 kB	82964 kB	[ファイル一覧]
amd64	18,088.6 kB	86800 kB	[ファイル一覧]
arm	16,381.2 kB	52336 kB	[ファイル一覧]
hppa	15,758.2 kB	53340 kB	[ファイル一覧]
i386	15,835.4 kB	51748 kB	[ファイル一覧]
ia64	17,190.3 kB	92492 kB	[ファイル一覧]
mips	15,421.3 kB	48160 kB	[ファイル一覧]
mipsel	14,623.7 kB	48164 kB	[ファイル一覧]
powerpc	17,452.5 kB	62664 kB	[ファイル一覧]
s390	16,602.5 kB	53136 kB	[ファイル一覧]
sparc	17,076.4 kB	59180 kB	[ファイル一覧]