Paket: acl2 (3.3-1ubuntu1 und andere) [universe]

Links für acl2

Quellcode-Paket acl2 herunterladen:

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

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

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.

dep: libc6 (>= 2.5-0ubuntu1) [i386]

GNU C-Bibliothek: Dynamische Bibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb

dep: libc6 (>= 2.7-1) [amd64]
dep: libgmp3c2

Mehrfachgenaue, arithmetische Bibliothek
dep: libice6 [i386]

X11 Inter-Client Exchange library

dep: libice6 (>= 1:1.0.0) [amd64]
dep: libncurses5 (>= 5.4-5) [i386]

Gemeinsam benutzte Bibliotheken für Terminalverarbeitung

dep: libncurses5 (>= 5.6+20071006-3) [amd64]
dep: libreadline5 (>= 5.2)

GNU readline- und History-Bibliotheken, Laufzeitbibliotheken
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

rec: acl2-books

A Computational Logic for Applicative Common Lisp: compiled libraries
rec: acl2-source

A Computational Logic for Applicative Common Lisp: source files

sug: acl2-emacs

A Computational Logic for Applicative Common Lisp: emacs interface

Download für alle verfügbaren Architekturen
Architektur	Version	Paketgröße	Größe (installiert)	Dateien
amd64	3.3-1ubuntu1	18 520,1 kB	100400 kB	[Liste der Dateien]
i386	3.1-1	15 151,5 kB	49932 kB	[Liste der Dateien]