[ sid ]
套件:libcvc4parser7-dbgsym(1.8-3 以及其他的) [debports]
debug symbols for libcvc4parser7
其他與 libcvc4parser7-dbgsym 有關的套件
|
|
|
|
-
- dep: libcvc4parser7 (= 1.8-3) [riscv64]
- automated theorem prover for SMT problems (parser runtime)
- dep: libcvc4parser7 (= 1.8-3+b2) [除 riscv64]
下載 libcvc4parser7-dbgsym
硬體架構 | 版本 | 套件大小 | 安裝後大小 | 檔案 |
---|---|---|---|---|
alpha (非官方移植版) | 1.8-3+b2 | 5,020。6 kB | 5,391。0 kB | [檔案列表] |
ia64 (非官方移植版) | 1.8-3+b2 | 5,490。6 kB | 5,856。0 kB | [檔案列表] |
m68k (非官方移植版) | 1.8-3+b2 | 4,538。6 kB | 4,859。0 kB | [檔案列表] |
ppc64 (非官方移植版) | 1.8-3+b2 | 5,038。1 kB | 5,442。0 kB | [檔案列表] |
riscv64 (非官方移植版) | 1.8-3 | 4,168。8 kB | 4,558。0 kB | [檔案列表] |
sparc64 (非官方移植版) | 1.8-3+b2 | 4,877。3 kB | 5,252。0 kB | [檔案列表] |
x32 (非官方移植版) | 1.8-3+b2 | 4,983。9 kB | 5,327。0 kB | [檔案列表] |