[ sid ]
Paquet : libcoq-gappa-dbgsym (1.5.5-2 et autres) [debports]
Liens pour libcoq-gappa-dbgsym
Ressources Debian :
Télécharger le paquet source :
IntrouvableResponsables :
Paquets similaires :
debug symbols for libcoq-gappa
Autres paquets associés à libcoq-gappa-dbgsym
|
|
|
|
-
- dep: libcoq-gappa (= 1.5.3-1+b1) [riscv64]
- Coq tactic to use Gappa for floating-point goals
- dep: libcoq-gappa (= 1.5.5-2) [non riscv64]
Télécharger libcoq-gappa-dbgsym
| Architecture | Version | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|---|
| loong64 (portage non officiel) | 1.5.5-2 | 6,2 ko | 41,0 ko | [liste des fichiers] |
| ppc64 (portage non officiel) | 1.5.5-2 | 6,4 ko | 45,0 ko | [liste des fichiers] |
| riscv64 (portage non officiel) | 1.5.3-1+b1 | 5,8 ko | 39,0 ko | [liste des fichiers] |