» Ubuntu » Balíky » lucid (10.04LTS) » Zdroj » math » acl2
lucid  ] [  precise  ] [  quantal  ] [  raring  ] [  saucy  ] [  trusty  ]

Zdrojový balík: acl2 (3.6-4) [universe]

Odkazy pre acl2

Zdroje Ubuntu:

Správca:

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

Original Maintainer (usually from Debian):

  • Camm Maguire

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

Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:
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

Ostatné balíky súvisiace s balíkom acl2

  • build-depends
  • build-depends-indep

Download acl2

SúborVeľkosť (v kB)kontrolný súčet MD5
acl2_3.6-4.dsc 1.1 kB 33926f078d67d1ff9df87ab2ee7b8c79
acl2_3.6.orig.tar.gz 10,251.4 kB bb0b1fdf99ebd1017d53d75266b96917
acl2_3.6-4.diff.gz 14.8 kB cf3552ff0ebf24a4791c1f5cb44affd6