套件：picosat-dbgsym（965-2 以及其他的） [debports]

picosat-dbgsym 的相關連結

未找到

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

SAT solver with proof and core support

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

下載可用於所有硬體架構的
硬體架構	版本	套件大小	安裝後大小	檔案
alpha （非官方移植版）	965-2	363。7 kB	544。0 kB	[檔案列表]
hppa （非官方移植版）	965-2	357。4 kB	529。0 kB	[檔案列表]
ia64 （非官方移植版）	965-2	454。2 kB	664。0 kB	[檔案列表]
m68k （非官方移植版）	965-2	408。4 kB	478。0 kB	[檔案列表]
ppc64 （非官方移植版）	965-2	389。6 kB	586。0 kB	[檔案列表]
riscv64 （非官方移植版）	965-2+b1	358。6 kB	542。0 kB	[檔案列表]
sh4 （非官方移植版）	965-2	428。1 kB	544。0 kB	[檔案列表]
sparc64 （非官方移植版）	965-2	439。8 kB	534。0 kB	[檔案列表]
x32 （非官方移植版）	965-2	353。5 kB	514。0 kB	[檔案列表]