Paquet : mona-dbgsym (1.4-18-1 et autres) [debports]

[ Paquet source :  ]

debug symbols for mona

Autres paquets associés à mona-dbgsym

• dep: mona (= 1.4-18-1) [non riscv64]

  démonstration automatique de théorèmes

  dep: mona (= 1.4-18-1+b1) [riscv64]

Télécharger mona-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.4-18-1	1 059,3 ko	1 220,0 ko	[liste des fichiers]
hppa (portage non officiel)	1.4-18-1	1 026,0 ko	1 160,0 ko	[liste des fichiers]
ia64 (portage non officiel)	1.4-18-1	1 249,9 ko	1 411,0 ko	[liste des fichiers]
loong64 (portage non officiel)	1.4-18-1	1 050,9 ko	1 214,0 ko	[liste des fichiers]
m68k (portage non officiel)	1.4-18-1	905,4 ko	1 032,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	1.4-18-1	1 062,2 ko	1 246,0 ko	[liste des fichiers]
riscv64 (portage non officiel)	1.4-18-1+b1	1 009,1 ko	1 189,0 ko	[liste des fichiers]
sh4 (portage non officiel)	1.4-18-1	942,2 ko	1 107,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	1.4-18-1	1 002,1 ko	1 167,0 ko	[liste des fichiers]
x32 (portage non officiel)	1.4-18-1	1 037,4 ko	1 176,0 ko	[liste des fichiers]