[ sid ]

[ 原始碼： ]

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

cvc5-dbgsym 的相關連結

Debian 的資源：

報告問題

下載原始碼套件：

未找到

維護小組：

相似套件：

debug symbols for cvc5

其他與 cvc5-dbgsym 有關的套件

依賴

推薦

建議

增強

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

automated theorem prover for SMT problems

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

下載 cvc5-dbgsym

下載可用於所有硬體架構的
硬體架構	版本	套件大小	安裝後大小	檔案
alpha （非官方移植版）	1.1.2-2	1，755。5 kB	1，837。0 kB	[檔案列表]
hppa （非官方移植版）	1.1.2-2	1，739。2 kB	1，818。0 kB	[檔案列表]
m68k （非官方移植版）	1.1.2-2	1，677。7 kB	1，755。0 kB	[檔案列表]
ppc64 （非官方移植版）	1.1.2-2	1，751。1 kB	1，841。0 kB	[檔案列表]
riscv64 （非官方移植版）	1.0.5-3	1，637。2 kB	1，732。0 kB	[檔案列表]
sparc64 （非官方移植版）	1.1.2-2	1，713。9 kB	1，806。0 kB	[檔案列表]
x32 （非官方移植版）	1.1.2-2	1，742。1 kB	1，812。0 kB	[檔案列表]