[ sid ]
Pakiet: kissat-dbgsym (4.0.3-2) [debports]
Odnośniki dla kissat-dbgsym
Zasoby systemu Debian:
Pobieranie pakietu źródłowego :
Nie znalezionoOpiekunowie:
Podobne pakiety:
debug symbols for kissat
Inne pakiety związane z kissat-dbgsym
|
|
|
|
-
- dep: kissat (= 4.0.3-2)
- Keep it simple and clean bare metal SAT solver
Pobieranie kissat-dbgsym
| Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|
| alpha (port nieoficjalny) | 1 526,1 KiB | 3 090,0 KiB | [lista plików] |
| hppa (port nieoficjalny) | 1 519,2 KiB | 2 915,0 KiB | [lista plików] |
| loong64 (port nieoficjalny) | 1 597,9 KiB | 16 121,0 KiB | [lista plików] |
| m68k (port nieoficjalny) | 1 447,2 KiB | 2 857,0 KiB | [lista plików] |
| ppc64 (port nieoficjalny) | 1 600,9 KiB | 3 267,0 KiB | [lista plików] |
| sh4 (port nieoficjalny) | 1 853,4 KiB | 3 052,0 KiB | [lista plików] |
| sparc64 (port nieoficjalny) | 1 534,7 KiB | 3 060,0 KiB | [lista plików] |
| x32 (port nieoficjalny) | 1 577,4 KiB | 2 173,0 KiB | [lista plików] |