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

Package: acl2 (3.6-1 and others)

Logica Computazionale per Applicative Common Lisp: binari principali

ACL2 è sia un linguaggio di programmazione con cui modellare sistemi di calcolo sia uno strumento per convalidare le proprietà di questi modelli.

Questo pacchetto contiene il binario principale di 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) [hppa]
    Libreria C GNU: librerie condivise
    also a virtual package provided by libc6-udeb
    dep: libc6 (>= 2.3.5-1) [m68k]
    dep: libc6 (>= 2.7) [amd64, armel, i386, powerpc, s390, sparc]
    dep: libc6 (>= 2.7-1) [mips, mipsel]
  • dep: libc6.1 (>= 2.3) [ia64]
    Libreria C GNU: librerie condivise
    also a virtual package provided by libc6.1-udeb
    dep: libc6.1 (>= 2.7-1) [alpha]
  • dep: libgcc1 (>= 1:4.4.0) [armel]
    libreria di supporto a GCC
  • dep: libgmp3c2
    libreria aritmetica a più precisioni
  • dep: libice6 (>= 1:1.0.0)
    libreria di interscambio tra client di X11
  • dep: libncurses5 (>= 5.4-5) [m68k]
    librerie condivise per la gestione del terminale
    dep: libncurses5 (>= 5.6+20071006-3) [not m68k]
  • dep: libreadline5 (>= 5.2) [alpha, hppa, ia64, m68k, mips, mipsel]
    Librerie GNU readline ed history, librerie dinamiche
  • dep: libreadline6 [amd64, armel, i386, powerpc, s390, sparc]
    Librerie GNU readline ed history, librerie dinamiche
  • dep: libsm6
    libreria X11 Session Management, gestione delle sessioni X11
  • dep: libx11-6 [not amd64, armel, i386, powerpc, sparc]
    libreria X11 lato client
    dep: libx11-6 (>= 0) [amd64, armel, i386, powerpc, sparc]
  • dep: libxaw7
    libreria X11 Athena Widget
  • dep: libxext6
    libreria di varie estensioni per X11
  • dep: libxmu6
    libreria di utilità varie per X11
  • dep: libxt6
    libreria Toolkit Intrinsics per X11
  • dep: zlib1g (>= 1:1.1.4) [amd64, armel, i386, powerpc, s390, sparc]
    libreria per la compressione - eseguibili
  • rec: acl2-books
    A Computational Logic for Applicative Common Lisp: librerie compilate
  • rec: acl2-source
    A Computational Logic for Applicative Common Lisp: file sorgenti
  • sug: acl2-emacs
    Logica Computazionale per Applicative Common Lisp: interfaccia 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.6-1 22,363.6 kB119892 kB [list of files]
armel 3.6-1 20,480.6 kB71244 kB [list of files]
hppa 3.4-2 19,747.2 kB60240 kB [list of files]
i386 3.6-1 19,992.8 kB67564 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.6-1 22,134.0 kB76420 kB [list of files]
s390 3.6-1 22,023.7 kB69788 kB [list of files]
sparc 3.6-1 23,181.7 kB84228 kB [list of files]