[ sid ]
Paquet : libcoq-equations-dbgsym (1.3-8.19-2 et autres) [debports]
Liens pour libcoq-equations-dbgsym
Ressources Debian :
Télécharger le paquet source :
IntrouvableResponsables :
Paquets similaires :
debug symbols for libcoq-equations
Autres paquets associés à libcoq-equations-dbgsym
|
|
|
|
-
- dep: libcoq-equations (= 1.3-8.17-1+b1) [riscv64]
- Coq library to work with functions defined by equations
- dep: libcoq-equations (= 1.3-8.19-2) [non riscv64]
Télécharger libcoq-equations-dbgsym
| Architecture | Version | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|---|
| loong64 (portage non officiel) | 1.3-8.19-2 | 129,8 ko | 429,0 ko | [liste des fichiers] |
| ppc64 (portage non officiel) | 1.3-8.19-2 | 121,0 ko | 464,0 ko | [liste des fichiers] |
| riscv64 (portage non officiel) | 1.3-8.17-1+b1 | 104,2 ko | 345,0 ko | [liste des fichiers] |