[ sid ]
Pakiet: spass-dbgsym (3.9-1.1) [debports]
Odnośniki dla spass-dbgsym
Zasoby systemu Debian:
Pobieranie pakietu źródłowego :
Nie znalezionoOpiekunowie:
Podobne pakiety:
debug symbols for spass
Inne pakiety związane z spass-dbgsym
|
|
|
|
-
- dep: spass (= 3.9-1.1)
- automated theorem prover for first-order logic with equality
Pobieranie spass-dbgsym
Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
---|---|---|---|
x32 (port nieoficjalny) | 32,0 KiB | 110,0 KiB | [lista plików] |