全部搜尋項
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