Paquet : gappa-dbgsym (1.6.0-1 et autres) [debports]

[ Paquet source :  ]

debug symbols for gappa

Autres paquets associés à gappa-dbgsym

• dep: gappa (= 1.4.1-1) [ia64, riscv64]

  Automatic generation of proofs of arithmetic properties

  dep: gappa (= 1.4.1-2) [sh4]

  dep: gappa (= 1.6.0-1) [non ia64, riscv64, sh4]

Télécharger gappa-dbgsym

Télécharger pour toutes les architectures proposées

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	1.6.0-1	3 839,1 ko	4 783,0 ko	[liste des fichiers]
hppa (portage non officiel)	1.6.0-1	3 699,4 ko	4 465,0 ko	[liste des fichiers]
ia64 (portage non officiel)	1.4.1-1	4 141,2 ko	4 298,0 ko	[liste des fichiers]
loong64 (portage non officiel)	1.6.0-1	3 831,9 ko	4 700,0 ko	[liste des fichiers]
m68k (portage non officiel)	1.6.0-1	3 282,8 ko	4 054,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	1.6.0-1	3 831,0 ko	4 903,0 ko	[liste des fichiers]
riscv64 (portage non officiel)	1.4.1-1	2 899,5 ko	3 061,0 ko	[liste des fichiers]
sh4 (portage non officiel)	1.4.1-2	2 875,2 ko	3 060,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	1.6.0-1	3 713,0 ko	4 548,0 ko	[liste des fichiers]
x32 (portage non officiel)	1.6.0-1	3 852,6 ko	4 162,0 ko	[liste des fichiers]