[ sid ]

[ 源代码： ]

软件包：libpsmt2-frontend-ocaml-dbgsym（0.4.0-3 以及其他的） [debports]

libpsmt2-frontend-ocaml-dbgsym 的相关链接

Debian 的资源：

报告问题

下载源码包：

未找到

维护小组：

相似软件包：

debug symbols for libpsmt2-frontend-ocaml

其他与 libpsmt2-frontend-ocaml-dbgsym 有关的软件包

依赖

推荐

建议

增强

dep: libpsmt2-frontend-ocaml (= 0.4.0-2) [riscv64]

Parse and type-check SMT-LIB 2 (runtime files)

dep: libpsmt2-frontend-ocaml (= 0.4.0-3+b1) [ppc64]

下载 libpsmt2-frontend-ocaml-dbgsym

下载可用于所有硬件架构的
硬件架构	版本	软件包大小	安装后大小	文件
ppc64 （非官方移植版）	0.4.0-3+b1	34.8 kB	180.0 kB	[文件列表]
riscv64 （非官方移植版）	0.4.0-2	42.7 kB	189.0 kB	[文件列表]