Paquet : picosat-dbgsym (965-2 et autres) [debports]

Liens pour picosat-dbgsym

Introuvable

dep: picosat (= 965-2) [non riscv64]

solveur SAT avec gestion de démonstrations et « core »

dep: picosat (= 965-2+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)	965-2	363,7 ko	544,0 ko	[liste des fichiers]
hppa (portage non officiel)	965-2	357,4 ko	529,0 ko	[liste des fichiers]
ia64 (portage non officiel)	965-2	454,2 ko	664,0 ko	[liste des fichiers]
loong64 (portage non officiel)	965-2	379,7 ko	567,0 ko	[liste des fichiers]
m68k (portage non officiel)	965-2	408,4 ko	478,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	965-2	389,6 ko	586,0 ko	[liste des fichiers]
riscv64 (portage non officiel)	965-2+b1	358,6 ko	542,0 ko	[liste des fichiers]
sh4 (portage non officiel)	965-2	428,1 ko	544,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	965-2	439,8 ko	534,0 ko	[liste des fichiers]
x32 (portage non officiel)	965-2	353,5 ko	514,0 ko	[liste des fichiers]