Paquet : eprover-dbgsym (3.0.03+ds-1 et autres) [debports]

Liens pour eprover-dbgsym

Introuvable

dep: eprover (= 2.6+ds-3+b1) [riscv64]

Equational theorem prover

dep: eprover (= 3.0.03+ds-1) [non 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.0.03+ds-1	185,0 ko	1 221,0 ko	[liste des fichiers]
hppa (portage non officiel)	3.0.03+ds-1	178,2 ko	985,0 ko	[liste des fichiers]
ia64 (portage non officiel)	3.0.03+ds-1	181,9 ko	1 224,0 ko	[liste des fichiers]
m68k (portage non officiel)	3.0.03+ds-1	178,7 ko	954,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	3.0.03+ds-1	160,5 ko	1 274,0 ko	[liste des fichiers]
riscv64 (portage non officiel)	2.6+ds-3+b1	115,6 ko	774,0 ko	[liste des fichiers]
sh4 (portage non officiel)	3.0.03+ds-1	180,3 ko	2 016,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	3.0.03+ds-1	176,5 ko	1 220,0 ko	[liste des fichiers]
x32 (portage non officiel)	3.0.03+ds-1	161,7 ko	949,0 ko	[liste des fichiers]