[ 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 |
|---|---|---|---|---|
| riscv64 (epävirallinen siirros) | 8.17.0+dfsg-1+b2 | 641.2 kt | 2,701.0 kt | [tiedostoluettelo] |