[ sid ]
Paket: lbt-dbgsym (1.2.2-7) [debports]
Links für lbt-dbgsym
Debian-Ressourcen:
Quellcode-Paket herunterladen:
Nicht gefundenBetreuer:
Ähnliche Pakete:
debug symbols for lbt
Andere Pakete mit Bezug zu lbt-dbgsym
|
|
|
|
-
- dep: lbt (= 1.2.2-7)
- Konvertiert LTL-Formeln zu Büchi-Automaten
lbt-dbgsym herunterladen
Architektur | Paketgröße | Größe (installiert) | Dateien |
---|---|---|---|
alpha (inoffizielle Portierung) | 198,9 kB | 229,0 kB | [Liste der Dateien] |