Paquet : acl2 (3.3-1ubuntu1 et autres) [universe]

Liens pour acl2

Télécharger le paquet source acl2 :

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]

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb

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

Multiprecision arithmetic library
dep: libice6 [i386]

X11 Inter-Client Exchange library

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

Bibliothèques partagées pour la gestion d'un terminal

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

bibliothèques GNU readline et GNU history (exécutables)
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

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	3.3-1ubuntu1	18 520,1 ko	100400 ko	[liste des fichiers]
i386	3.1-1	15 151,5 ko	49932 ko	[liste des fichiers]