[ sid ]
Paketti: lbt-dbgsym (1.2.2-7) [debports]
Links for lbt-dbgsym
Debian-palvelut:
Imuroi lähdekoodipaketti :
Ei löytynytYlläpitäjät:
Samankaltaisia paketteja:
debug symbols for lbt
Muut pakettiin lbt-dbgsym liittyvät paketit
|
|
|
|
-
- dep: lbt (= 1.2.2-7)
- converts from LTL formulas to Büchi automata
Imuroi lbt-dbgsym
Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
---|---|---|---|
alpha (epävirallinen siirros) | 198.9 kt | 229.0 kt | [tiedostoluettelo] |