acl2-books-certs
Computational Logic for Applicative Common Lisp: library certificates
🌐 Site do projeto: https://www.cs.utexas.edu/users/moore/acl2/
Versões por repositório
| Repositório | Versão | Arquitetura | Tamanho | Download |
|---|---|---|---|---|
Exu | 8.6+dfsg-2 | all | 211.4 MB | .deb |
Exu | 8.6+dfsg-2 | all | 211.4 MB | .deb |
Ogum | 8.7+dfsg-3 | all | 232.5 MB | .deb |
Ogum | 8.7+dfsg-3 | all | 232.5 MB | .deb |
Informações do pacote
| Seção | math |
|---|---|
| Prioridade | optional |
| Mantenedor | Camm Maguire <camm@debian.org> |
| Site do projeto (upstream) | <a href="https://www.cs.utexas.edu/users/moore/acl2/" rel="noopener">https://www.cs.utexas.edu/users/moore/acl2/</a> |
| Depende de | acl2 (>= 8.6+dfsg-2), tex-common (>= 6.13) |
| Fornece (Provides) | — |
| Substitui (Replaces) | acl2 (<= 2.7-9) |
| Conflita (Conflicts) | — |