Pakket: lbt-dbgsym (1.2.2-7 en anderen) [debports]

[ Bron:  ]

debug symbols for lbt

Andere aan lbt-dbgsym gerelateerde pakketten

• dep: lbt (= 1.2.2-7) [niet riscv64]

  converts from LTL formulas to Büchi automata

  dep: lbt (= 1.2.2-7+b1) [riscv64]

lbt-dbgsym downloaden

Pakket downloaden voor alle beschikbare platforms

Platform	Versie	Pakketgrootte	Geïnstalleerde grootte	Bestanden
alpha (unofficial port)	1.2.2-7	198,9 kB	229,0 kB	[overzicht]
hppa (unofficial port)	1.2.2-7	194,7 kB	221,0 kB	[overzicht]
ia64 (unofficial port)	1.2.2-7	221,7 kB	252,0 kB	[overzicht]
m68k (unofficial port)	1.2.2-7	194,0 kB	219,0 kB	[overzicht]
ppc64 (unofficial port)	1.2.2-7	203,4 kB	235,0 kB	[overzicht]
riscv64 (unofficial port)	1.2.2-7+b1	187,7 kB	220,0 kB	[overzicht]
sh4 (unofficial port)	1.2.2-7	169,2 kB	225,0 kB	[overzicht]
sparc64 (unofficial port)	1.2.2-7	199,4 kB	229,0 kB	[overzicht]
x32 (unofficial port)	1.2.2-7	194,0 kB	219,0 kB	[overzicht]