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

[ Paquet source :  ]

debug symbols for why3

Autres paquets associés à why3-dbgsym

• dep: why3 (= 1.3.3-3) [x32]

  plateforme de vérification logicielle

  dep: why3 (= 1.5.1-1+b3) [riscv64]

  dep: why3 (= 1.6.0-1) [ppc64]

  dep: why3 (= 1.6.0-1+b4) [m68k, sh4]

  dep: why3 (= 1.6.0-1+b5) [alpha, hppa, ia64, sparc64]

Télécharger why3-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+b5	36,6 ko	64,0 ko	[liste des fichiers]
hppa (portage non officiel)	1.6.0-1+b5	36,9 ko	61,0 ko	[liste des fichiers]
ia64 (portage non officiel)	1.6.0-1+b5	42,3 ko	70,0 ko	[liste des fichiers]
m68k (portage non officiel)	1.6.0-1+b4	34,3 ko	57,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	1.6.0-1	2 034,3 ko	10 131,0 ko	[liste des fichiers]
riscv64 (portage non officiel)	1.5.1-1+b3	2 202,1 ko	9 899,0 ko	[liste des fichiers]
sh4 (portage non officiel)	1.6.0-1+b4	37,6 ko	187,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	1.6.0-1+b5	36,4 ko	66,0 ko	[liste des fichiers]
x32 (portage non officiel)	1.3.3-3	85,5 ko	244,0 ko	[liste des fichiers]