[ sid ]
Paquet : gappa-dbgsym (1.4.1-2) [debports]
Liens pour gappa-dbgsym
Ressources Debian :
Télécharger le paquet source :
IntrouvableResponsables :
Paquets similaires :
debug symbols for gappa
Autres paquets associés à gappa-dbgsym
|
|
|
|
-
- dep: gappa (= 1.4.1-2)
- Automatic generation of proofs of arithmetic properties
Télécharger gappa-dbgsym
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
alpha (portage non officiel) | 3 748,3 ko | 3 893,0 ko | [liste des fichiers] |