Package search

Did you mean b'acl'?

Refine search

Role

Application Data (3)
Program (8)
Source Code (3)

Software Development

Interpreter (9)
Libraries (4)
Lisp Development (9)

User Interface

Command Line (2)
Text-based Interactive (4)

9 results for acl2:

1: 42%	Source: acl2 [more info] [tag editor] [PTS] debian/control acl2-source - Computational Logic for Applicative Common Lisp: source files
2: 42%	Source: acl2 [more info] [tag editor] [PTS] debian/control acl2-books-source - Computational Logic for Applicative Common Lisp: library sources
3: 37%	Source: acl2 [more info] [tag editor] [PTS] debian/control acl2-infix-source - Computational Logic for Applicative Common Lisp: infix source
4: 35%	Source: acl2 [more info] [tag editor] [PTS] debian/control acl2-doc - Computational Logic for Applicative Common Lisp: documentation
5: 34%	Source: acl2 [more info] [tag editor] [PTS] debian/control acl2-emacs - Computational Logic for Applicative Common Lisp: emacs interface
6: 29%	Source: acl2 [more info] [tag editor] [PTS] debian/control acl2-books-certs - Computational Logic for Applicative Common Lisp: library certificates
7: 26%	Source: acl2 [more info] [tag editor] [PTS] debian/control acl2-books - Computational Logic for Applicative Common Lisp: compiled libraries
8: 26%	Source: acl2 [more info] [tag editor] [PTS] debian/control acl2-infix - Computational Logic for Applicative Common Lisp: infix interface
9: 25%	[more info] [tag editor] [PTS] debian/control acl2 - Computational Logic for Applicative Common Lisp: main binary

Copyright © 2011-2013 Enrico Zini <enrico@debian.org>. See license terms. Source code is available.

Debtags is part of Debian.

Powered by Xapian and apt-xapian-index.