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