パッケージ名 パッケージ説明 ソースパッケージ名 パッケージの内容 すべてのオプション

[  jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

[ ソース: acl2  ]

acl2 に関するリンク

Ubuntu の資源:

• バグ報告
• Ubuntu での変更履歴
• 著作権ファイル

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

• [acl2_8.7+dfsg-2.dsc]
• [acl2_8.7+dfsg.orig.tar.gz]
• [acl2_8.7+dfsg-2.debian.tar.xz]

メンテナ:

• Ubuntu MOTU Developers (メールアーカイブ)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

• Camm Maguire

It should generally not be necessary for users to contact the original maintainer.

外部の資源:

• ホームページ [www.cs.utexas.edu]

類似のパッケージ:

• acl2-books
• acl2-books-certs
• acl2-books-source
• acl2-infix
• acl2-infix-source
• acl2-source
• elpa-acl2
• cl-xlunit
• hol88-library
• cl-cffi
• cl-trivial-sockets

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

依存

推奨

提案

enhances

• dep: libc6 (>= 2.38) [riscv64]

  GNU C Library: Shared libraries

  dep: libc6 (>= 2.43) [riscv64 以外]

• dep: libedit2 (>= 2.11-20080614-0)

  BSD editline and history libraries

• dep: libgcc-s1 (>= 4.0) [arm64]

  GCC support library

• dep: libgmp10 (>= 2:6.3.0+dfsg)

  Multiprecision arithmetic library

• dep: libtirpc3t64 (>= 1.0.2)

  transport-independent RPC library

• dep: libx11-6

  X11 client-side library

• rec: acl2-books

  Computational Logic for Applicative Common Lisp: compiled libraries

• rec: acl2-source

  Computational Logic for Applicative Common Lisp: source files

• sug: elpa-acl2

  Computational Logic for Applicative Common Lisp: emacs interface

acl2 のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード

アーキテクチャ	パッケージサイズ	インストールサイズ	ファイル
amd64	46,729.8 kB	561,703.0 kB	[ファイル一覧]
arm64	47,624.5 kB	571,924.0 kB	[ファイル一覧]
armhf	57,616.3 kB	547,361.0 kB	[ファイル一覧]
ppc64el	48,055.0 kB	586,251.0 kB	[ファイル一覧]
riscv64	46,802.3 kB	549,470.0 kB	[ファイル一覧]
s390x	46,806.7 kB	534,052.0 kB	[ファイル一覧]