[ sid ]

[ 原始碼： ]

套件：python3-cvc5-dbgsym（1.1.2-2 以及其他的） [debports]

python3-cvc5-dbgsym 的相關連結

Debian 的資源：

報告問題

下載原始碼套件：

未找到

維護小組：

相似套件：

debug symbols for python3-cvc5

其他與 python3-cvc5-dbgsym 有關的套件

依賴

推薦

建議

增強

dep: python3-cvc5 (= 1.0.5-3) [riscv64]

automated theorem prover for SMT problems (Python bindings)

dep: python3-cvc5 (= 1.1.2-2) [除 riscv64]

下載 python3-cvc5-dbgsym

下載可用於所有硬體架構的
硬體架構	版本	套件大小	安裝後大小	檔案
alpha （非官方移植版）	1.1.2-2	2，445。8 kB	2，735。0 kB	[檔案列表]
hppa （非官方移植版）	1.1.2-2	2，397。2 kB	2，672。0 kB	[檔案列表]
m68k （非官方移植版）	1.1.2-2	2，247。9 kB	2，506。0 kB	[檔案列表]
ppc64 （非官方移植版）	1.1.2-2	2，458。4 kB	2，786。0 kB	[檔案列表]
riscv64 （非官方移植版）	1.0.5-3	1，688。4 kB	1，937。0 kB	[檔案列表]
sparc64 （非官方移植版）	1.1.2-2	2，398。0 kB	2，688。0 kB	[檔案列表]
x32 （非官方移植版）	1.1.2-2	2，470。7 kB	2，752。0 kB	[檔案列表]