[ sid ]
套件:minisat+-dbgsym(1.0-4)
[debports]
minisat+-dbgsym 的相關連結
Debian 的資源:
下載原始碼套件 :
未找到
維護小組:
外部的資源:
相似套件:
Debug symbols for minisat+
其他與 minisat+-dbgsym 有關的套件
-
- dep:
minisat+
(= 1.0-4)
- solver for pseudo-Boolean constraints
下載 minisat+-dbgsym
下載可用於所有硬體架構的
硬體架構 |
套件大小 |
安裝後大小 |
檔案 |
alpha (非官方移植版) |
815。4 kB | 866。0 kB |
[檔案列表]
|