[ sid ]
Paket: lbt-dbgsym (1.2.2-7) [debports]
lbt-dbgsym için bağlantılar
Debian Kaynakları:
Kaynak Paketini İndir:
BulunamadıGeliştiriciler:
Benzer paketler:
debug symbols for lbt
lbt-dbgsym ile İlgili Diğer Paketler
|
|
|
|
-
- dep: lbt (= 1.2.2-7)
- converts from LTL formulas to Büchi automata
lbt-dbgsym indir
Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
---|---|---|---|
alpha (resmi olmayan port) | 198,9 kB | 229,0 kB | [dosya listesi] |