[ sid ]

[ 源代码： ]

软件包：libcvc4parser7-dbgsym（1.8-3 以及其他的） [debports]

libcvc4parser7-dbgsym 的相关链接

Debian 的资源：

报告问题

下载源码包：

未找到

维护小组：

相似软件包：

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	[文件列表]