Пакунок: acl2 (8.5dfsg-5 and others)

[ Source: acl2  ]

Computational Logic for Applicative Common Lisp: main binary

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.

This package contains the base ACL2 binary.

Tags: Software Development: Interpreter, Lisp Development, Field: field::mathematics, implemented-in::lisp, User Interface: Command Line, interface::text-mode, role::program, Scope: Utility, Interface Toolkit: uitoolkit::ncurses, works-with::software:source

Інші пакунки пов'язані з acl2

• dep: libc6 (>= 2.32) [sh4]

  Бібліотека GNU C: спільні бібліотеки
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.33) [x32]

  dep: libc6 (>= 2.34) [not alpha, sh4, x32]

• dep: libc6.1 (>= 2.29) [alpha]

  Бібліотека GNU C: спільні бібліотеки
  also a virtual package provided by libc6.1-udeb

• dep: libedit2 (>= 2.11-20080614-0) [not alpha, sh4]

  Бібліотеки BSD editline та history

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

  Допоміжна бібліотека GCC

• dep: libgcc-s4 (>= 4.1.1) [hppa]

  Допоміжна бібліотека GCC

• dep: libgmp10 (>= 2:6.2.1+dfsg) [alpha, sh4]

  Арифметична бібліотека багатоточності

  dep: libgmp10 (>= 2:6.2.1+dfsg1) [hppa, m68k, x32]

  dep: libgmp10 (>= 2:6.3.0+dfsg) [not alpha, hppa, m68k, sh4, x32]

• dep: libreadline8 (>= 6.0) [alpha, sh4]

  Бібліотеки GNU readline та history, динамічні бібліотеки

• dep: libtirpc3 (>= 1.0.2) [alpha, hppa, m68k, ppc64, sh4, sparc64, x32]

  Транспортно-незалежна бібліотека RPC

• dep: libtirpc3t64 (>= 1.0.2) [not alpha, hppa, m68k, ppc64, sh4, sparc64, x32]

  Транспортно-незалежна бібліотека RPC

• dep: libx11-6

  Клієнтська бібліотека X11

• 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

Завантаження для всіх доступних архітектур

Архітектура	Версія	Розмір пакунка	Розмір після встановлення	Файли
alpha (unofficial port)	8.4dfsg-2	20,868.6 kB	243,337.0 kB	[список файлів]
amd64	8.5dfsg-5+b1	22,871.9 kB	245,058.0 kB	[список файлів]
arm64	8.5dfsg-5+b1	21,119.1 kB	239,468.0 kB	[список файлів]
armel	8.5dfsg-5+b1	18,740.4 kB	173,135.0 kB	[список файлів]
armhf	8.5dfsg-5+b1	18,744.4 kB	165,091.0 kB	[список файлів]
hppa (unofficial port)	8.5dfsg-5	20,763.2 kB	192,400.0 kB	[список файлів]
i386	8.5dfsg-5+b1	19,940.1 kB	167,601.0 kB	[список файлів]
m68k (unofficial port)	8.5dfsg-2	17,680.5 kB	168,254.0 kB	[список файлів]
mips64el	8.5dfsg-5+b2	20,205.6 kB	260,580.0 kB	[список файлів]
ppc64 (unofficial port)	8.5dfsg-5+b1	23,418.0 kB	344,073.0 kB	[список файлів]
ppc64el	8.5dfsg-5+b1	22,455.8 kB	326,982.0 kB	[список файлів]
riscv64	8.5dfsg-5+b2	21,579.0 kB	231,668.0 kB	[список файлів]
s390x	8.5dfsg-5+b1	23,013.9 kB	236,360.0 kB	[список файлів]
sh4 (unofficial port)	8.4dfsg-2	19,568.7 kB	158,973.0 kB	[список файлів]
sparc64 (unofficial port)	8.5dfsg-5+b1	19,788.3 kB	247,010.0 kB	[список файлів]
x32 (unofficial port)	8.5dfsg-1	21,513.9 kB	178,075.0 kB	[список файлів]