[ sid ]
Paket: lbt-dbgsym (1.2.2-7) [debports]
Länkar för lbt-dbgsym
Debianresurser:
Hämta källkodspaketet :
Hittades ejAnsvariga:
Liknande paket:
debug symbols for lbt
Andra paket besläktade med lbt-dbgsym
|
|
|
|
-
- dep: lbt (= 1.2.2-7)
- converts from LTL formulas to Büchi automata
Hämta lbt-dbgsym
Arkitektur | Paketstorlek | Installerad storlek | Filer |
---|---|---|---|
alpha (inofficiell anpassning) | 198,9 kbyte | 229,0 kbyte | [filförteckning] |