[ sid ]
Paketti: libcoq-unicoq-dbgsym (1.6-8.19-2 ja muut) [debports]
Links for libcoq-unicoq-dbgsym
Debian-palvelut:
Imuroi lähdekoodipaketti :
Ei löytynytYlläpitäjät:
Samankaltaisia paketteja:
debug symbols for libcoq-unicoq
Muut pakettiin libcoq-unicoq-dbgsym liittyvät paketit
|
|
|
|
-
- dep: libcoq-unicoq (= 1.6-8.17-1+b2) [riscv64]
- enhanced unification algorithm for Coq
- dep: libcoq-unicoq (= 1.6-8.19-2) [ppc64]
Imuroi libcoq-unicoq-dbgsym
Arkkitehtuuri | Versio | Paketin koko | Koko asennettuna | Tiedostot |
---|---|---|---|---|
ppc64 (epävirallinen siirros) | 1.6-8.19-2 | 19.7 kt | 80.0 kt | [tiedostoluettelo] |
riscv64 (epävirallinen siirros) | 1.6-8.17-1+b2 | 17.5 kt | 61.0 kt | [tiedostoluettelo] |