Paquet : depqbf-dbgsym (5.01-3 et autres) [debports]

Liens pour depqbf-dbgsym

Introuvable

dep: depqbf (= 5.01-3) [non riscv64]

solver for quantified boolean formulae

dep: depqbf (= 5.01-3+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)	5.01-3	391,3 ko	433,0 ko	[liste des fichiers]
hppa (portage non officiel)	5.01-3	398,2 ko	433,0 ko	[liste des fichiers]
ia64 (portage non officiel)	5.01-3	436,7 ko	483,0 ko	[liste des fichiers]
m68k (portage non officiel)	5.01-3	404,5 ko	438,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	5.01-3	439,0 ko	483,0 ko	[liste des fichiers]
riscv64 (portage non officiel)	5.01-3+b1	502,2 ko	545,0 ko	[liste des fichiers]
sh4 (portage non officiel)	5.01-3	417,7 ko	480,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	5.01-3	395,8 ko	437,0 ko	[liste des fichiers]
x32 (portage non officiel)	5.01-3	379,9 ko	413,0 ko	[liste des fichiers]