[ sid ]

[ ソース: ]

パッケージ: elan-dbgsym (4.1.2-2 など) [debports]

elan-dbgsym に関するリンク

Debian の資源:

バグ報告

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

見つかりません

メンテナ:

類似のパッケージ:

debug symbols for elan

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

依存

推奨

提案

enhances

dep: elan (= 2.0.0-1) [riscv64]

tool for managing installations of the Lean theorem prover

dep: elan (= 3.1.1-3) [x32]

dep: elan (= 4.1.2-2) [riscv64, x32 以外]

elan-dbgsym のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
loong64 (非公式の移植版)	4.1.2-2	14,049.1 kB	19,104.0 kB	[ファイル一覧]
ppc64 (非公式の移植版)	4.1.2-2	14,467.8 kB	20,143.0 kB	[ファイル一覧]
riscv64 (非公式の移植版)	2.0.0-1	12,360.1 kB	41,995.0 kB	[ファイル一覧]
sparc64 (非公式の移植版)	4.1.2-2	13,905.2 kB	19,591.0 kB	[ファイル一覧]
x32 (非公式の移植版)	3.1.1-3	14,827.6 kB	16,071.0 kB	[ファイル一覧]