[ sid ]
パッケージ: coq-dbgsym (8.19.1+dfsg-2 など)
[debports]
coq-dbgsym に関するリンク
Debian の資源:
ソースパッケージをダウンロード:
見つかりません
メンテナ:
類似のパッケージ:
その他の coq-dbgsym 関連パッケージ
-
- dep:
coq
(= 8.17.0+dfsg-1+b2)
[riscv64]
- 高階論理証明アシスタント (トップレベルおよびコンパイラ)
- dep:
coq
(= 8.19.1+dfsg-2)
[ppc64]
coq-dbgsym のダウンロード
すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ |
バージョン |
パッケージサイズ |
インストールサイズ |
ファイル |
ppc64 (非公式の移植版) |
8.19.1+dfsg-2 |
8,459.1 kB | 38,620.0 kB |
[ファイル一覧]
|
riscv64 (非公式の移植版) |
8.17.0+dfsg-1+b2 |
8,984.3 kB | 36,988.0 kB |
[ファイル一覧]
|