[ sid ]
Package: libcoq-dpdgraph-dbgsym (1.0+8.19-2) [debports]
Links for libcoq-dpdgraph-dbgsym
Debian Resources:
Download Source Package :
Not foundMaintainers:
Similar packages:
debug symbols for libcoq-dpdgraph
Other Packages Related to libcoq-dpdgraph-dbgsym
|
|
|
|
-
- dep: libcoq-dpdgraph (= 1.0+8.19-2)
- Coq plugin to extract dependencies between Coq objects
Download libcoq-dpdgraph-dbgsym
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| loong64 (unofficial port) | 4.9 kB | 30.0 kB | [list of files] |