Pakket: gappa-dbgsym (1.4.1-1) [debports]

[ Bron:  ]

debug symbols for gappa

Andere aan gappa-dbgsym gerelateerde pakketten

• dep: gappa (= 1.4.1-1)

  Automatic generation of proofs of arithmetic properties

gappa-dbgsym downloaden

Pakket downloaden voor alle beschikbare platforms

Platform	Pakketgrootte	Geïnstalleerde grootte	Bestanden
alpha (unofficial port)	3.823,0 kB	3.975,0 kB	[overzicht]
hppa (unofficial port)	3.672,3 kB	3.814,0 kB	[overzicht]
ia64 (unofficial port)	4.141,2 kB	4.298,0 kB	[overzicht]
m68k (unofficial port)	3.384,0 kB	3.517,0 kB	[overzicht]
ppc64 (unofficial port)	3.776,7 kB	3.944,0 kB	[overzicht]
riscv64 (unofficial port)	2.899,5 kB	3.061,0 kB	[overzicht]
sh4 (unofficial port)	2.846,6 kB	3.034,0 kB	[overzicht]
sparc64 (unofficial port)	3.666,6 kB	3.825,0 kB	[overzicht]
x32 (unofficial port)	3.709,4 kB	3.860,0 kB	[overzicht]