bitwuzla-doc
Documentation for Bitwuzla
🌐 Site do projeto: https://github.com/bitwuzla/bitwuzla
Versões por repositório
| Repositório | Versão | Arquitetura | Tamanho | Download |
|---|---|---|---|---|
Ogum | 0.8.2-4 | all | 0.2 MB | .deb |
Ogum | 0.8.2-4 | all | 0.2 MB | .deb |
Informações do pacote
| Seção | doc |
|---|---|
| Prioridade | optional |
| Mantenedor | Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> |
| Site do projeto (upstream) | <a href="https://github.com/bitwuzla/bitwuzla" rel="noopener">https://github.com/bitwuzla/bitwuzla</a> |
| Depende de | libjs-jquery |
| Fornece (Provides) | — |
| Substitui (Replaces) | — |
| Conflita (Conflicts) | — |