[  etch  ] [  etch-m68k  ] [  squeeze  ] [  sid  ]
[ Source: acl2  ]

Package: acl2 (3.4-2 and others)

Una lógica informática para «Applicative Common Lisp»: binario principal

ACL2 es tanto un lenguaje de programación en el que puede modelar sistemas informáticos como una herramienta para ayudarle a probar propiedades de esos modelos.

Este paquete contiene la base binaria de 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

Other Packages Related to acl2

  • depends
  • recommends
  • suggests
  • dep: libc6 (>= 2.3) [amd64, hppa]
    Biblioteca de C de GNU: Bibliotecas compartidas
    also a virtual package provided by libc6-udeb
    dep: libc6 (>= 2.3.5-1) [m68k]
    dep: libc6 (>= 2.6) [sparc]
    dep: libc6 (>= 2.7-1) [armel, i386, mips, mipsel, powerpc, s390]
  • dep: libc6.1 (>= 2.3) [ia64]
    Biblioteca de C de GNU: Bibliotecas compartidas
    also a virtual package provided by libc6.1-udeb
    dep: libc6.1 (>= 2.7-1) [alpha]
  • dep: libgcc1 (>= 1:4.3) [armel]
    Biblioteca de ayuda de GCC
  • dep: libgmp3c2
    Biblioteca aritmética con multiprecisión
  • dep: libice6 (>= 1:1.0.0)
    Biblioteca de intercambio entre clientes de X11
  • dep: libncurses5 (>= 5.4-5) [m68k]
    Bibliotecas compartidas para el tratamiento del terminal
    dep: libncurses5 (>= 5.6+20071006-3) [not m68k]
  • dep: libreadline5 (>= 5.2)
    Bibliotecas readline y history de GNU, bibliotecas ejecutables
  • dep: libsm6
    Biblioteca de gestión de sesiones de X11
  • dep: libx11-6
    Biblioteca del lado del cliente de X11
  • dep: libxaw7
    Biblioteca de los elementos gráficos Athena para X11
  • dep: libxext6
    biblioteca de extensiones variadas de X11
  • dep: libxmu6
    Biblioteca de herramientas varias de X11
  • dep: libxt6
    Biblioteca del conjunto de herramientas intrínseco de X11
  • rec: acl2-books
    Una lógica informática para «Applicative Common Lisp»: bibliotecas compiladas
  • rec: acl2-source
    Una lógica informática para «Applicative Common Lisp»: archivos de fuentes
  • sug: acl2-emacs
    Una lógica informática para «Applicative Common Lisp»: interfaz para emacs

Download acl2

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha 3.4-2 19,997.6 kB106620 kB [list of files]
amd64 3.4-2 21,100.4 kB113640 kB [list of files]
armel 3.4-2 19,388.5 kB68012 kB [list of files]
hppa 3.4-2 19,747.2 kB60240 kB [list of files]
i386 3.4-2 18,925.4 kB64332 kB [list of files]
ia64 3.4-2 21,246.8 kB178828 kB [list of files]
m68k (unofficial port) 3.1-1 15,461.3 kB50560 kB [list of files]
mips 3.4-2 19,245.4 kB60580 kB [list of files]
mipsel 3.4-2 18,102.4 kB60576 kB [list of files]
powerpc 3.4-2 20,901.2 kB72872 kB [list of files]
s390 3.4-2 20,934.1 kB66744 kB [list of files]
sparc 3.4-2 21,571.4 kB80148 kB [list of files]