Skip to content
Sections
>> Ubuntu >> Pakketten >> hardy >> Bron >> math >> acl2
dapper  ] [  feisty  ] [  gutsy  ] [  hardy  ] [  intrepid  ] [  jaunty  ]

Bronpakket: acl2 (3.3-1ubuntu1) [universe]

Verwijzigingen voor acl2

Ubuntu bronnen:

Beheerder:

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.

De volgende binaire pakketten worden van dit bronpakket gebouwd:
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

Andere aan acl2 gerelateerde pakketten

  • build-depends
  • build-depends-indep

Download acl2

BestandGrootte (in kB)MD5 checksum
acl2_3.3-1ubuntu1.dsc 1,0 kB 3a6c74e161225057e6fe57bb09ae716f
acl2_3.3.orig.tar.gz 7.147,0 kB ec026b72d47d839539ef152ba0784c27
acl2_3.3-1ubuntu1.diff.gz 13,4 kB 106334ce477ba575d8d29541362b7852