Package: acl2 (3.1-1)

Links for acl2

Download Source Package acl2:

ACL2는 컴퓨터 시스템 모델을 만드는 프로그래밍 언어이자 이 모델의 속성을 증명하는 도구입니다.

이 패키지에는 기본 ACL2 바이너리가 들어있습니다.

Tags: Software Development: Interpreter, Lisp Development, Field: Mathematics, Implemented in: Lisp, User Interface: Text-based Interactive, Role: Program, Scope: Utility, Interface Toolkit: Ncurses TUI, Works with: Source Code

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

GNU C 라이브러리: 공유 라이브러리
also a virtual package provided by libc6-udeb
dep: libc6.1 (>= 2.3.5-1) [alpha, ia64]

GNU C 라이브러리: 공유 라이브러리
also a virtual package provided by 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

Download for all available architectures
Architecture	Package Size	Installed Size	Files
alpha	16,159.1 kB	82964 kB	[list of files]
amd64	18,088.6 kB	86800 kB	[list of files]
arm	16,381.2 kB	52336 kB	[list of files]
hppa	15,758.2 kB	53340 kB	[list of files]
i386	15,835.4 kB	51748 kB	[list of files]
ia64	17,190.3 kB	92492 kB	[list of files]
mips	15,421.3 kB	48160 kB	[list of files]
mipsel	14,623.7 kB	48164 kB	[list of files]
powerpc	17,452.5 kB	62664 kB	[list of files]
s390	16,602.5 kB	53136 kB	[list of files]
sparc	17,076.4 kB	59180 kB	[list of files]