[ sid ]

[ 源代码： ]

软件包：libcvc5parser1-dbgsym（1.1.2-2 以及其他的） [debports]

libcvc5parser1-dbgsym 的相关链接

Debian 的资源：

报告问题

下载源码包：

未找到

维护小组：

相似软件包：

debug symbols for libcvc5parser1

其他与 libcvc5parser1-dbgsym 有关的软件包

依赖

推荐

建议

增强

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

automated theorem prover for SMT problems (parser runtime)

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

下载 libcvc5parser1-dbgsym

下载可用于所有硬件架构的
硬件架构	版本	软件包大小	安装后大小	文件
alpha （非官方移植版）	1.1.2-2	3,921.4 kB	4,091.0 kB	[文件列表]
hppa （非官方移植版）	1.1.2-2	3,819.3 kB	3,978.0 kB	[文件列表]
m68k （非官方移植版）	1.1.2-2	3,394.9 kB	3,540.0 kB	[文件列表]
ppc64 （非官方移植版）	1.1.2-2	3,918.8 kB	4,116.0 kB	[文件列表]
riscv64 （非官方移植版）	1.0.5-3	4,881.4 kB	5,226.0 kB	[文件列表]
sparc64 （非官方移植版）	1.1.2-2	3,797.6 kB	3,972.0 kB	[文件列表]
x32 （非官方移植版）	1.1.2-2	3,893.1 kB	4,069.0 kB	[文件列表]