[ sid ]

[ 源代码： ]

软件包：libssreflect-ocaml-dev（1.6.1-3 以及其他的） [debports]

libssreflect-ocaml-dev 的相关链接

Debian 的资源：

报告问题

下载源码包：

未找到

维护小组：

外部的资源：

主页 [math-comp.github.io]

相似软件包：

small scale reflection extension for Coq (devt files)

This package is part of Ssreflect, the small scale reflection extension for Coq. It provides the static native-code library, needed to build custom toplevels, and the compiled interface.

其他与 libssreflect-ocaml-dev 有关的软件包

依赖

推荐

建议

增强

dep: camlp5-9k749 [除 hppa]

软件包暂时不可用
dep: camlp5-ajc05 [hppa]

软件包暂时不可用
dep: libcoq-ocaml-dev-eqz92 [除 hppa]

软件包暂时不可用
dep: libcoq-ocaml-dev-uqoh2 [hppa]

软件包暂时不可用
dep: libssreflect-ocaml-ec091 [hppa]

本虚包由这些包填实： libssreflect-ocaml
dep: libssreflect-ocaml-j83f4 [除 hppa]

本虚包由这些包填实： libssreflect-ocaml
dep: ocaml-nox-4.02.3 [hppa]

软件包暂时不可用
dep: ocaml-nox-4.05.0 [除 hppa]

软件包暂时不可用

下载 libssreflect-ocaml-dev

下载可用于所有硬件架构的
硬件架构	版本	软件包大小	安装后大小	文件
alpha （非官方移植版）	1.6.1-3	61.9 kB	363.0 kB	[文件列表]
hppa （非官方移植版）	1.6.1-2+b1	62.5 kB	354.0 kB	[文件列表]
ia64 （非官方移植版）	1.6.1-3	62.0 kB	363.0 kB	[文件列表]
sh4 （非官方移植版）	1.6.1-3	61.9 kB	363.0 kB	[文件列表]
sparc64 （非官方移植版）	1.6.1-3	61.9 kB	363.0 kB	[文件列表]
x32 （非官方移植版）	1.6.1-3	61.9 kB	363.0 kB	[文件列表]