Paquet : spass-dbgsym (3.9-1.1 et autres) [debports]

Liens pour spass-dbgsym

Introuvable

dep: spass (= 3.9-1.1) [non riscv64]

démonstrateur automatique de théorème pour la logique du premier ordre avec égalité

dep: spass (= 3.9-1.1+b1) [riscv64]

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	3.9-1.1	33,1 ko	134,0 ko	[liste des fichiers]
hppa (portage non officiel)	3.9-1.1	33,1 ko	112,0 ko	[liste des fichiers]
ia64 (portage non officiel)	3.9-1.1	31,8 ko	134,0 ko	[liste des fichiers]
loong64 (portage non officiel)	3.9-1.1	34,4 ko	136,0 ko	[liste des fichiers]
m68k (portage non officiel)	3.9-1.1	32,6 ko	110,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	3.9-1.1	32,3 ko	137,0 ko	[liste des fichiers]
riscv64 (portage non officiel)	3.9-1.1+b1	32,6 ko	135,0 ko	[liste des fichiers]
sh4 (portage non officiel)	3.9-1.1	32,1 ko	119,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	3.9-1.1	33,0 ko	134,0 ko	[liste des fichiers]
x32 (portage non officiel)	3.9-1.1	32,0 ko	110,0 ko	[liste des fichiers]