Pacotes / debian-coq-tools
debian-coq-tools
various tools to manage Coq-related Debian packages
Versões por repositório
| Repositório | Versão | Arquitetura | Tamanho | Download |
|---|
Exu | 0.14 | all | 0.0 MB | .deb |
Exu | 0.14 | all | 0.0 MB | .deb |
Ogum | 0.17 | all | 0.0 MB | .deb |
Ogum | 0.17 | all | 0.0 MB | .deb |
Informações do pacote
| Seção | ocaml |
|---|
| Prioridade | optional |
|---|
| Mantenedor | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
|---|
| Site do projeto (upstream) | — |
|---|
| Depende de | python3:any |
|---|
| Fornece (Provides) | — |
|---|
| Substitui (Replaces) | — |
|---|
| Conflita (Conflicts) | — |
|---|
Ver CVEs deste pacote →
← Voltar ao catálogo