[ sid ]
套件：psmt2-frontend-dbgsym（0.4.0-3 以及其他的） [debports]
debug symbols for psmt2-frontend
其他與 psmt2-frontend-dbgsym 有關的套件
|
|
|
|
-
- dep: psmt2-frontend (= 0.4.0-2) [riscv64]
- Parse and type-check SMT-LIB 2 (tool)
- dep: psmt2-frontend (= 0.4.0-3+b1) [除 riscv64]
下載 psmt2-frontend-dbgsym
| 硬體架構 | 版本 | 套件大小 | 安裝後大小 | 檔案 |
|---|---|---|---|---|
| alpha （非官方移植版） | 0.4.0-3+b1 | 22。3 kB | 78。0 kB | [檔案列表] |
| hppa （非官方移植版） | 0.4.0-3+b1 | 22。7 kB | 68。0 kB | [檔案列表] |
| ia64 （非官方移植版） | 0.4.0-3+b1 | 22。0 kB | 78。0 kB | [檔案列表] |
| m68k （非官方移植版） | 0.4.0-3+b1 | 22。1 kB | 66。0 kB | [檔案列表] |
| ppc64 （非官方移植版） | 0.4.0-3+b1 | 116。1 kB | 465。0 kB | [檔案列表] |
| riscv64 （非官方移植版） | 0.4.0-2 | 122。8 kB | 462。0 kB | [檔案列表] |
| sh4 （非官方移植版） | 0.4.0-3+b1 | 22。1 kB | 697。0 kB | [檔案列表] |
| sparc64 （非官方移植版） | 0.4.0-3+b1 | 22。3 kB | 78。0 kB | [檔案列表] |
| x32 （非官方移植版） | 0.4.0-3+b1 | 21。8 kB | 66。0 kB | [檔案列表] |