[ sid ]

[ ソース: ]

パッケージ: drat-trim-dbgsym (0.0~git20240428.effa1dc-2) [debports]

drat-trim-dbgsym に関するリンク

Debian の資源:

バグ報告

ソースパッケージをダウンロード:

見つかりません

メンテナ:

類似のパッケージ:

debug symbols for drat-trim

その他の drat-trim-dbgsym 関連パッケージ

依存

推奨

提案

enhances

dep: drat-trim (= 0.0~git20240428.effa1dc-2)

DART-trim satisfiability proof checker (binary utils)

drat-trim-dbgsym のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	パッケージサイズ	インストールサイズ	ファイル
alpha (非公式の移植版)	63.5 kB	89.0 kB	[ファイル一覧]
hppa (非公式の移植版)	61.9 kB	85.0 kB	[ファイル一覧]
loong64 (非公式の移植版)	65.6 kB	92.0 kB	[ファイル一覧]
m68k (非公式の移植版)	58.8 kB	80.0 kB	[ファイル一覧]
ppc64 (非公式の移植版)	65.2 kB	93.0 kB	[ファイル一覧]
sh4 (非公式の移植版)	61.1 kB	210.0 kB	[ファイル一覧]
sparc64 (非公式の移植版)	61.7 kB	88.0 kB	[ファイル一覧]
x32 (非公式の移植版)	63.4 kB	84.0 kB	[ファイル一覧]