全部搜索项
bookworm  ] [  trixie  ] [  forky  ] [  sid  ] [  experimental  ]
[ 源代码: elpi  ]

软件包:libelpi-ocaml-dev(3.3.1-1)

libelpi-ocaml-dev 的相关链接

Screenshot

Debian 的资源:

下载源码包 elpi

维护小组:

外部的资源:

相似软件包:

试制(Experimental)软件包

警告:这个软件包来自于 experimental 发行版。这表示它很有可能表现出不稳定或者出现 bug ,甚至是导致资料损失。请务必在使用之前查阅 changelog 以及其他潜在的文档。

embeddable lambda-Prolog interpreter (dev files)

ELPI implements a lambda-Prolog interpreter enriched with constraint handling rules, to provide an extension language to larger applications written in OCaml.

This package provides the dev files.

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

  • 依赖
  • 推荐
  • 建议
  • 增强

下载 libelpi-ocaml-dev

下载可用于所有硬件架构的
硬件架构 软件包大小 安装后大小 文件
amd64 16,202.6 kB40,712.0 kB [文件列表]
arm64 16,765.1 kB43,772.0 kB [文件列表]
ppc64el 16,361.5 kB43,692.0 kB [文件列表]
riscv64 17,148.6 kB57,799.0 kB [文件列表]
s390x 16,173.5 kB43,012.0 kB [文件列表]