[ sid ]
Pakiet: boolector-dbgsym (1.5.118.6b56be4.121013-1.3) [debports]
Odnośniki dla boolector-dbgsym
Zasoby systemu Debian:
Pobieranie pakietu źródłowego :
Nie znalezionoOpiekunowie:
Podobne pakiety:
debug symbols for boolector
Inne pakiety związane z boolector-dbgsym
|
|
|
|
-
- dep: boolector (= 1.5.118.6b56be4.121013-1.3)
- SMT solver dla wektorów bitowych i tablic
Pobieranie boolector-dbgsym
| Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|
| alpha (port nieoficjalny) | 12,1 KiB | 56,0 KiB | [lista plików] |
| hppa (port nieoficjalny) | 12,4 KiB | 49,0 KiB | [lista plików] |
| ia64 (port nieoficjalny) | 11,9 KiB | 56,0 KiB | [lista plików] |
| m68k (port nieoficjalny) | 11,9 KiB | 46,0 KiB | [lista plików] |
| ppc64 (port nieoficjalny) | 11,8 KiB | 59,0 KiB | [lista plików] |
| riscv64 (port nieoficjalny) | 11,9 KiB | 57,0 KiB | [lista plików] |
| sh4 (port nieoficjalny) | 12,3 KiB | 111,0 KiB | [lista plików] |
| sparc64 (port nieoficjalny) | 11,9 KiB | 56,0 KiB | [lista plików] |
| x32 (port nieoficjalny) | 12,0 KiB | 46,0 KiB | [lista plików] |