[ sid ]
パッケージ: kissat-dbgsym (4.0.3-2) [debports]
kissat-dbgsym に関するリンク
Debian の資源:
ソースパッケージをダウンロード:
見つかりませんメンテナ:
類似のパッケージ:
- xen-utils-4.20-dbg
- gdc-14-sparc64-linux-gnu-dbgsym
- cpp-14-sh4-linux-gnu-dbgsym
- binutils-aarch64-linux-gnu-dbg
- binutils-alpha-linux-gnu-dbg
- binutils-arm-linux-gnueabi-dbg
- binutils-arm-linux-gnueabihf-dbg
- binutils-hppa-linux-gnu-dbg
- binutils-hppa64-linux-gnu-dbg
- binutils-i686-gnu-dbg
- binutils-i686-kfreebsd-gnu-dbg
debug symbols for kissat
その他の kissat-dbgsym 関連パッケージ
|
|
|
|
-
- dep: kissat (= 4.0.3-2)
- Keep it simple and clean bare metal SAT solver
kissat-dbgsym のダウンロード
| アーキテクチャ | パッケージサイズ | インストールサイズ | ファイル |
|---|---|---|---|
| alpha (非公式の移植版) | 1,526.1 kB | 3,090.0 kB | [ファイル一覧] |
| hppa (非公式の移植版) | 1,519.2 kB | 2,915.0 kB | [ファイル一覧] |
| loong64 (非公式の移植版) | 1,597.9 kB | 16,121.0 kB | [ファイル一覧] |
| m68k (非公式の移植版) | 1,447.2 kB | 2,857.0 kB | [ファイル一覧] |
| ppc64 (非公式の移植版) | 1,600.9 kB | 3,267.0 kB | [ファイル一覧] |
| sh4 (非公式の移植版) | 1,853.4 kB | 3,052.0 kB | [ファイル一覧] |
| sparc64 (非公式の移植版) | 1,534.7 kB | 3,060.0 kB | [ファイル一覧] |
| x32 (非公式の移植版) | 1,577.4 kB | 2,173.0 kB | [ファイル一覧] |