Skip to content
Sections
>> Trisquel >> 软件包 >> aramo >> 源代码 >> misc >> elpi
aramo  ]

源码包: elpi (1.14.1-1)

elpi 的相关链接

Trisquel 的资源:

维护者:

Original Maintainers:

外部的资源:

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

其他与 elpi 有关的软件包

  • 完整构建时刻依赖
  • 单独构建时刻依赖
  • adep: camlp5 (>= 8.00.02)
    Pre Processor Pretty Printer for OCaml - classical version
  • adep: debhelper-compat (= 13)
    软件包暂时不可用
  • adep: dh-ocaml
    helper tools for maintaining OCaml-related Debian packages
  • adep: libppx-deriving-ocaml-dev
    type-driven code generation for OCaml (dev files)
  • adep: libppxlib-ocaml-dev
    meta-programming for OCaml
  • adep: libre-ocaml-dev
    regular expression library for OCaml
  • adep: ocaml-dune
    composable build system for OCaml projects

Download elpi

文件大小(单位: kB)MD5 校验码
elpi_1.14.1-1.dsc 2.1 kB bcd99b6541c8a6ff0369e88d846ce06a
elpi_1.14.1.orig.tar.gz 1,507.9 kB b01bd41c39ceac32d7f08040d5f7a02e
elpi_1.14.1-1.debian.tar.xz 4.0 kB f6a4940b09b058547557f66f9ccabe31
Debian 软件包源码仓库(VCS: Git)
https://salsa.debian.org/ocaml-team/elpi.git
Debian 软件包源码仓库(可在线浏览)
https://salsa.debian.org/ocaml-team/elpi