[ sid ]
Paketti: coqprime-tools-dbgsym (8.17-1 ja muut) [debports]
Links for coqprime-tools-dbgsym
Debian-palvelut:
Imuroi lähdekoodipaketti :
Ei löytynytYlläpitäjät:
Samankaltaisia paketteja:
debug symbols for coqprime-tools
Muut pakettiin coqprime-tools-dbgsym liittyvät paketit
|
|
|
|
-
- dep: coqprime-tools (= 8.17-1+b1)
- Primality certification for Coq (tools)
Imuroi coqprime-tools-dbgsym
Arkkitehtuuri | Versio | Paketin koko | Koko asennettuna | Tiedostot |
---|---|---|---|---|
ppc64 (epävirallinen siirros) | 8.17-1+b1 | 58.0 kt | 96.0 kt | [tiedostoluettelo] |