[ sid ]
Pakiet: coqide-dbgsym (8.17.0+dfsg-1 i inne) [debports]
Odnośniki dla coqide-dbgsym
Zasoby systemu Debian:
Pobieranie pakietu źródłowego :
Nie znalezionoOpiekunowie:
Podobne pakiety:
debug symbols for coqide
Inne pakiety związane z coqide-dbgsym
|
|
|
|
-
- dep: coqide (= 8.17.0+dfsg-1+b2)
- proof assistant for higher-order logic (gtk interface)
Pobieranie coqide-dbgsym
Architektura | Wersja | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
---|---|---|---|---|
ppc64 (port nieoficjalny) | 8.17.0+dfsg-1+b2 | 610,2 KiB | 2 789,0 KiB | [lista plików] |
riscv64 (port nieoficjalny) | 8.17.0+dfsg-1+b2 | 641,2 KiB | 2 701,0 KiB | [lista plików] |