Paket: lbt-dbgsym (1.2.2-7 und andere) [debports]

[ Quellcode:  ]

debug symbols for lbt

Andere Pakete mit Bezug zu lbt-dbgsym

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

  Konvertiert LTL-Formeln zu Büchi-Automaten

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

lbt-dbgsym herunterladen

Download für alle verfügbaren Architekturen

Architektur	Version	Paketgröße	Größe (installiert)	Dateien
alpha (inoffizielle Portierung)	1.2.2-7	198,9 kB	229,0 kB	[Liste der Dateien]
hppa (inoffizielle Portierung)	1.2.2-7	194,7 kB	221,0 kB	[Liste der Dateien]
ia64 (inoffizielle Portierung)	1.2.2-7	221,7 kB	252,0 kB	[Liste der Dateien]
m68k (inoffizielle Portierung)	1.2.2-7	194,0 kB	219,0 kB	[Liste der Dateien]
ppc64 (inoffizielle Portierung)	1.2.2-7	203,4 kB	235,0 kB	[Liste der Dateien]
riscv64 (inoffizielle Portierung)	1.2.2-7+b1	187,7 kB	220,0 kB	[Liste der Dateien]
sh4 (inoffizielle Portierung)	1.2.2-7	169,2 kB	225,0 kB	[Liste der Dateien]
sparc64 (inoffizielle Portierung)	1.2.2-7	199,4 kB	229,0 kB	[Liste der Dateien]
x32 (inoffizielle Portierung)	1.2.2-7	194,0 kB	219,0 kB	[Liste der Dateien]