Paket: depqbf-dbgsym (5.01-3 und andere) [debports]

[ Quellcode:  ]

debug symbols for depqbf

Andere Pakete mit Bezug zu depqbf-dbgsym

• dep: depqbf (= 5.01-3) [nicht riscv64]

  solver for quantified boolean formulae

  dep: depqbf (= 5.01-3+b1) [riscv64]

depqbf-dbgsym herunterladen

Download für alle verfügbaren Architekturen

Architektur	Version	Paketgröße	Größe (installiert)	Dateien
alpha (inoffizielle Portierung)	5.01-3	391,3 kB	433,0 kB	[Liste der Dateien]
hppa (inoffizielle Portierung)	5.01-3	398,2 kB	433,0 kB	[Liste der Dateien]
ia64 (inoffizielle Portierung)	5.01-3	436,7 kB	483,0 kB	[Liste der Dateien]
m68k (inoffizielle Portierung)	5.01-3	404,5 kB	438,0 kB	[Liste der Dateien]
ppc64 (inoffizielle Portierung)	5.01-3	439,0 kB	483,0 kB	[Liste der Dateien]
riscv64 (inoffizielle Portierung)	5.01-3+b1	502,2 kB	545,0 kB	[Liste der Dateien]
sh4 (inoffizielle Portierung)	5.01-3	417,7 kB	480,0 kB	[Liste der Dateien]
sparc64 (inoffizielle Portierung)	5.01-3	395,8 kB	437,0 kB	[Liste der Dateien]
x32 (inoffizielle Portierung)	5.01-3	379,9 kB	413,0 kB	[Liste der Dateien]