[ sid ]
Paketti: coqide-dbgsym (8.17.0+dfsg-1 ja muut) [debports]
Links for coqide-dbgsym
Debian-palvelut:
Imuroi lähdekoodipaketti :
Ei löytynytYlläpitäjät:
Samankaltaisia paketteja:
debug symbols for coqide
Muut pakettiin coqide-dbgsym liittyvät paketit
|
|
|
|
-
- dep: coqide (= 8.17.0+dfsg-1+b2)
- proof assistant for higher-order logic (gtk interface)
Imuroi coqide-dbgsym
Arkkitehtuuri | Versio | Paketin koko | Koko asennettuna | Tiedostot |
---|---|---|---|---|
ppc64 (epävirallinen siirros) | 8.17.0+dfsg-1+b2 | 610.2 kt | 2,789.0 kt | [tiedostoluettelo] |