[ sid ]
Paquet : libcoq-bignums-dbgsym (9.0.0+coq8.20-1 et autres) [debports]
Liens pour libcoq-bignums-dbgsym
Ressources Debian :
Télécharger le paquet source :
IntrouvableResponsables :
Paquets similaires :
debug symbols for libcoq-bignums
Autres paquets associés à libcoq-bignums-dbgsym
|
|
|
|
-
- dep: libcoq-bignums (= 8.17.0-3+b2) [riscv64]
- Coq library for big numbers
- dep: libcoq-bignums (= 9.0.0+coq8.20-1) [ppc64]
Télécharger libcoq-bignums-dbgsym
| Architecture | Version | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|---|
| ppc64 (portage non officiel) | 9.0.0+coq8.20-1 | 3,9 ko | 26,0 ko | [liste des fichiers] |
| riscv64 (portage non officiel) | 8.17.0-3+b2 | 3,5 ko | 24,0 ko | [liste des fichiers] |