[ sid ]

[ ソース: ]

パッケージ: libcoq-relation-algebra-dbgsym (1.7.10-4 など) [debports]

libcoq-relation-algebra-dbgsym に関するリンク

Debian の資源:

バグ報告

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

見つかりません

メンテナ:

類似のパッケージ:

debug symbols for libcoq-relation-algebra

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

依存

推奨

提案

enhances

dep: libcoq-relation-algebra (= 1.7.10-4) [riscv64 以外]

relation algebra for Coq

dep: libcoq-relation-algebra (= 1.7.9-1+b1) [riscv64]

libcoq-relation-algebra-dbgsym のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
loong64 (非公式の移植版)	1.7.10-4	14.1 kB	103.0 kB	[ファイル一覧]
ppc64 (非公式の移植版)	1.7.10-4	14.5 kB	112.0 kB	[ファイル一覧]
riscv64 (非公式の移植版)	1.7.9-1+b1	13.5 kB	101.0 kB	[ファイル一覧]