[ sid ]
Paquet : spass-dbgsym (3.9-1.1) [debports]
Liens pour spass-dbgsym
Ressources Debian :
Télécharger le paquet source :
IntrouvableResponsables :
Paquets similaires :
debug symbols for spass
Autres paquets associés à spass-dbgsym
|
|
|
|
-
- dep: spass (= 3.9-1.1)
- démonstrateur automatique de théorème pour la logique du premier ordre avec égalité
Télécharger spass-dbgsym
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
alpha (portage non officiel) | 33,1 ko | 134,0 ko | [liste des fichiers] |