[ 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 |
---|---|---|---|
alpha (port nieoficjalny) | 33,1 KiB | 134,0 KiB | [lista plików] |