全部搜索项
bookworm  ] [  trixie  ] [  forky  ] [  sid  ] [  experimental  ]

源码包:elpi(3.3.1-1)

elpi 的相关链接

Debian 的资源:

维护小组:

外部的资源:

试制(Experimental)软件包

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

本源码包构建了以下这些二进制包:
elpi
embeddable lambda-Prolog interpreter (tool)
libelpi-ocaml
embeddable lambda-Prolog interpreter (runtime files)
libelpi-ocaml-dev
embeddable lambda-Prolog interpreter (dev files)

其他与 elpi 有关的软件包

  • 构建架构特定包依赖
  • 构建架构独立包依赖

Download elpi

文件大小(单位:kB)MD5 校验码
elpi_3.3.1-1.dsc 2.4 kB b98dcb14c05b96549b6a1d7f1605f759
elpi_3.3.1.orig.tar.gz 2,630.4 kB 3bdfa428b975014e23743b681f9725d0
elpi_3.3.1-1.debian.tar.xz 5.0 kB 2c267fbfbcbf7a1c8b0d7035613cac02
Debian 软件包源码仓库(VCSGit
https://salsa.debian.org/ocaml-team/elpi.git
Debian 软件包源码仓库(可在线浏览)
https://salsa.debian.org/ocaml-team/elpi