Descrição
O acl2-books: Computational Logic para Applicative comum Lisp: compiled bibliotecas. Empacotado para o arquivo oficial do Debian para que os usuários possam instalá-lo e atualizá-lo pelo gerenciador de pacotes do sistema., com upstream mantido em https://www.cs.utexas.edu/users/moore/acl2/.