Paquet : minisat-dbgsym (1:2.2.1-8 et autres) [debports]

Liens pour minisat-dbgsym

Introuvable

dep: minisat (= 1:2.2.1-5+b1) [riscv64]

solveur SAT rapide et léger

dep: minisat (= 1:2.2.1-8) [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)	1:2.2.1-8	202,5 ko	236,0 ko	[liste des fichiers]
hppa (portage non officiel)	1:2.2.1-8	195,1 ko	223,0 ko	[liste des fichiers]
ia64 (portage non officiel)	1:2.2.1-8	237,3 ko	271,0 ko	[liste des fichiers]
loong64 (portage non officiel)	1:2.2.1-8	170,4 ko	203,0 ko	[liste des fichiers]
m68k (portage non officiel)	1:2.2.1-8	183,1 ko	211,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	1:2.2.1-8	205,5 ko	245,0 ko	[liste des fichiers]
riscv64 (portage non officiel)	1:2.2.1-5+b1	187,8 ko	220,0 ko	[liste des fichiers]
sh4 (portage non officiel)	1:2.2.1-8	161,4 ko	253,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	1:2.2.1-8	197,5 ko	231,0 ko	[liste des fichiers]
x32 (portage non officiel)	1:2.2.1-8	197,4 ko	225,0 ko	[liste des fichiers]