[ sid ]
Pakiet: drat-trim-dbgsym (0.0~git20240428.effa1dc-2) [debports]
Odnośniki dla drat-trim-dbgsym
Zasoby systemu Debian:
Pobieranie pakietu źródłowego :
Nie znalezionoOpiekunowie:
Podobne pakiety:
debug symbols for drat-trim
Inne pakiety związane z drat-trim-dbgsym
|
|
|
|
-
- dep: drat-trim (= 0.0~git20240428.effa1dc-2)
- Narzędzie do sprawdzania dowodów spełnialności DART-trim (narzędzia binarne)
Pobieranie drat-trim-dbgsym
| Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|
| alpha (port nieoficjalny) | 63,5 KiB | 89,0 KiB | [lista plików] |
| hppa (port nieoficjalny) | 61,9 KiB | 85,0 KiB | [lista plików] |
| loong64 (port nieoficjalny) | 65,6 KiB | 92,0 KiB | [lista plików] |
| m68k (port nieoficjalny) | 58,8 KiB | 80,0 KiB | [lista plików] |
| ppc64 (port nieoficjalny) | 65,2 KiB | 93,0 KiB | [lista plików] |
| sh4 (port nieoficjalny) | 61,1 KiB | 210,0 KiB | [lista plików] |
| sparc64 (port nieoficjalny) | 61,7 KiB | 88,0 KiB | [lista plików] |
| x32 (port nieoficjalny) | 63,4 KiB | 84,0 KiB | [lista plików] |