[ sid ]
Paquet : lbt-dbgsym (1.2.2-7) [debports]
Liens pour lbt-dbgsym
Ressources Debian :
Télécharger le paquet source :
IntrouvableResponsables :
Paquets similaires :
debug symbols for lbt
Autres paquets associés à lbt-dbgsym
|
|
|
|
-
- dep: lbt (= 1.2.2-7)
- Convertit des formules LTL en automates Büchi
Télécharger lbt-dbgsym
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
alpha (portage non officiel) | 198,9 ko | 229,0 ko | [liste des fichiers] |