[ sid ]
Paquet : eprover-dbgsym (3.1.0+ds-1) [debports]
Liens pour eprover-dbgsym
Ressources Debian :
Télécharger le paquet source :
IntrouvableResponsables :
Paquets similaires :
debug symbols for eprover
Autres paquets associés à eprover-dbgsym
|
|
|
|
-
- dep: eprover (= 3.1.0+ds-1)
- Equational theorem prover
Télécharger eprover-dbgsym
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
ppc64 (portage non officiel) | 122,8 ko | 971,0 ko | [liste des fichiers] |