[ sid ]
Paket: libcoq-paramcoq-dbgsym (1.1.3+coq8.17-2) [debports]
Länkar för libcoq-paramcoq-dbgsym
Debianresurser:
Hämta källkodspaketet :
Hittades ejAnsvariga:
Liknande paket:
debug symbols for libcoq-paramcoq
Andra paket besläktade med libcoq-paramcoq-dbgsym
|
|
|
|
-
- dep: libcoq-paramcoq (= 1.1.3+coq8.17-2)
- Coq plugin to generate parametricity statements
Hämta libcoq-paramcoq-dbgsym
Arkitektur | Paketstorlek | Installerad storlek | Filer |
---|---|---|---|
riscv64 (inofficiell anpassning) | 11,7 kbyte | 86,0 kbyte | [filförteckning] |