[ sid ]

[ ソース: ]

パッケージ: libcoq-elpi-dbgsym (2.1.0-1 など) [debports]

libcoq-elpi-dbgsym に関するリンク

Debian の資源:

バグ報告

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

見つかりません

メンテナ:

類似のパッケージ:

debug symbols for libcoq-elpi

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

依存

推奨

提案

enhances

dep: libcoq-elpi (= 1.17.1-1+b4) [riscv64]

Coq plugin embedding Elpi

dep: libcoq-elpi (= 2.1.0-1+b1) [ppc64]

dep: libcoq-elpi (= 2.1.0-1+b3) [loong64]

libcoq-elpi-dbgsym のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
loong64 (非公式の移植版)	2.1.0-1+b3	143.5 kB	702.0 kB	[ファイル一覧]
ppc64 (非公式の移植版)	2.1.0-1+b1	134.8 kB	751.0 kB	[ファイル一覧]
riscv64 (非公式の移植版)	1.17.1-1+b4	84.7 kB	391.0 kB	[ファイル一覧]