[ sid ]
Paket: libcoq-equations-dbgsym (1.3-8.17-2 och andra) [debports]
Länkar för libcoq-equations-dbgsym
Debianresurser:
Hämta källkodspaketet :
Hittades ejAnsvariga:
Liknande paket:
debug symbols for libcoq-equations
Andra paket besläktade med libcoq-equations-dbgsym
|
|
|
|
-
- dep: libcoq-equations (= 1.3-8.17-1+b1) [riscv64]
- Coq library to work with functions defined by equations
- dep: libcoq-equations (= 1.3-8.17-2) [ppc64]
Hämta libcoq-equations-dbgsym
Arkitektur | Version | Paketstorlek | Installerad storlek | Filer |
---|---|---|---|---|
ppc64 (inofficiell anpassning) | 1.3-8.17-2 | 95,6 kbyte | 362,0 kbyte | [filförteckning] |
riscv64 (inofficiell anpassning) | 1.3-8.17-1+b1 | 104,2 kbyte | 345,0 kbyte | [filförteckning] |