[ sid ]
パッケージ: libcoq-bignums-dbgsym (8.17.0-3 など) [debports]
debug symbols for libcoq-bignums
その他の libcoq-bignums-dbgsym 関連パッケージ
|
|
|
|
-
- dep: libcoq-bignums (= 8.17.0-3+b2)
- Coq library for big numbers