[ sid ]

[ 源代码： ]

软件包：minisat-dbgsym（1:2.2.1-8） [debports]

minisat-dbgsym 的相关链接

Debian 的资源：

报告问题

下载源码包：

未找到

维护小组：

相似软件包：

debug symbols for minisat

其他与 minisat-dbgsym 有关的软件包

依赖

推荐

建议

增强

dep: minisat (= 1:2.2.1-8)

Fast and lightweight SAT solver

下载 minisat-dbgsym

下载可用于所有硬件架构的
硬件架构	软件包大小	安装后大小	文件
m68k （非官方移植版）	183.1 kB	211.0 kB	[文件列表]