Paquet : metamath-dbgsym (0.195-1 et autres) [debports]

[ Paquet source :  ]

debug symbols for metamath

Autres paquets associés à metamath-dbgsym

• dep: metamath (= 0.195-1) [non riscv64]

  Language for mathematical proofs

  dep: metamath (= 0.195-1+b1) [riscv64]

Télécharger metamath-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)	0.195-1	466,6 ko	495,0 ko	[liste des fichiers]
hppa (portage non officiel)	0.195-1	472,8 ko	497,0 ko	[liste des fichiers]
ia64 (portage non officiel)	0.195-1	693,8 ko	723,0 ko	[liste des fichiers]
m68k (portage non officiel)	0.195-1	421,6 ko	444,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	0.195-1	510,0 ko	541,0 ko	[liste des fichiers]
riscv64 (portage non officiel)	0.195-1+b1	496,4 ko	526,0 ko	[liste des fichiers]
sh4 (portage non officiel)	0.195-1	458,4 ko	509,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	0.195-1	488,9 ko	518,0 ko	[liste des fichiers]
x32 (portage non officiel)	0.195-1	462,5 ko	485,0 ko	[liste des fichiers]