[  etch  ] [  etch-m68k  ] [  squeeze  ] [  sid  ]

Länkar för acl2

Debianresurser:

• Felrapporter
• Utvecklarinformation (PTS)
• Ändringslogg för Debian
• Upphovsrättsfil
• Debian Patch Tracker

Ansvarig:

• Camm Maguire (QA-sida)

Följande binärpaket byggs från detta källkodspaket:

acl2

A Computational Logic for Applicative Common Lisp: main binary

acl2-books

A Computational Logic for Applicative Common Lisp: compiled libraries

acl2-books-certs

A Computational Logic for Applicative Common Lisp: library certificates

acl2-books-source

A Computational Logic for Applicative Common Lisp: library sources

acl2-doc

A Computational Logic for Applicative Common Lisp: documentation

acl2-emacs

A Computational Logic for Applicative Common Lisp: emacs interface

acl2-infix

A Computational Logic for Applicative Common Lisp: infix interface

acl2-infix-source

A Computational Logic for Applicative Common Lisp: infix source

acl2-source

A Computational Logic for Applicative Common Lisp: source files

Andra paket besläktade med acl2

bygg-beroende

arkitekturoberoende bygg-beroende

• adep: gcl (>= 2.6.7-36)

  GNU Common Lisp compiler

• adep: libgmp3-dev

  Multiprecision arithmetic library developers tools

• adep: libncurses5-dev

  developer's libraries and docs for ncurses

• adep: libreadline5-dev

  GNU readline and history libraries, development files

  eller libreadline-dev

  GNU readline and history libraries, development files
  också ett virtuellt paket som tillhandahålls av libreadline5-dev

• adep: emacs22

  GNUs Emacs-editor
  också ett virtuellt paket som tillhandahålls av emacs22-gtk, emacs22-nox

  eller emacsen

  virtuellt paket som tillhandahålls av emacs, emacs21, emacs21-nox, emacs22, emacs22-gtk, emacs22-nox, emacs23, emacs23-lucid, emacs23-nox, xemacs21-gnome-mule, xemacs21-gnome-mule-canna-wnn, xemacs21-gnome-nomule, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule

• adep: debhelper (>= 4)

  helper programs for debian/rules

• adep: texlive-latex-recommended

  TeX Live: LaTeX recommended packages

• adep: libxmu-dev

  X11 miscellaneous utility library (development headers)

• adep: libxaw7-dev

  X11 Athena Widget library (development headers)

• adep: time

  GNUs time-program för att mäta cpu-resursanvändning

Download acl2

Fil	Storlek (i kbyte)	MD5-kontrollsumma
acl2_3.4-2.dsc	1,2 kbyte	85f0e9238e498a84a19eaf56d2ff08d2
acl2_3.4.orig.tar.gz	7.815,7 kbyte	00c210b69b585941d856616c7a66c463
acl2_3.4-2.diff.gz	13,6 kbyte	a84e0b5d8ecd58a3857cd85a1e6d7c34