coqprime-tools
Primality certification for Coq (tools)
🌐 Site do projeto: https://github.com/thery/coqprime
Versões por repositório
| Repositório | Versão | Arquitetura | Tamanho | Download |
|---|---|---|---|---|
Exu | 8.20.1-1+b4 | amd64 | 0.1 MB | .deb |
Ogum | 8.20.1-5+b2 | amd64 | 0.1 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) | <a href="https://github.com/thery/coqprime" rel="noopener">https://github.com/thery/coqprime</a> |
| Depende de | libcoq-coqprime (= 8.20.1-1+b4), ocaml-base-nox | ocaml-base, libc6 (>= 2.34), libecm1 (>= 7.0.6+ds), libgmp10 (>= 2:6.3.0+dfsg) |
| Fornece (Provides) | — |
| Substitui (Replaces) | — |
| Conflita (Conflicts) | — |