[ sid ]
Package: libcoq-paramcoq-dbgsym (1.1.3+coq8.17-2) [debports]
Links for libcoq-paramcoq-dbgsym
Debian Resources:
Download Source Package :
Not foundMaintainers:
Similar packages:
debug symbols for libcoq-paramcoq
Other Packages Related to libcoq-paramcoq-dbgsym
|
|
|
|
-
- dep: libcoq-paramcoq (= 1.1.3+coq8.17-2)
- Coq plugin to generate parametricity statements
Download libcoq-paramcoq-dbgsym
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
ppc64 (unofficial port) | 11.4 kB | 91.0 kB | [list of files] |
riscv64 (unofficial port) | 11.7 kB | 86.0 kB | [list of files] |