[ sid ]
Paketti: coq-dbgsym (8.17.0+dfsg-1 ja muut) [debports]
Links for coq-dbgsym
Debian-palvelut:
Imuroi lähdekoodipaketti :
Ei löytynytYlläpitäjät:
Samankaltaisia paketteja:
debug symbols for coq
Muut pakettiin coq-dbgsym liittyvät paketit
|
|
|
|
-
- dep: coq (= 8.17.0+dfsg-1+b2)
- proof assistant for higher-order logic (toplevel and compiler)
Imuroi coq-dbgsym
| Arkkitehtuuri | Versio | Paketin koko | Koko asennettuna | Tiedostot |
|---|---|---|---|---|
| riscv64 (epävirallinen siirros) | 8.17.0+dfsg-1+b2 | 8,984.3 kt | 36,988.0 kt | [tiedostoluettelo] |