全部搜尋項
bianca  ]

原始碼套件:elpi(2.0.7-1)

elpi 的相關連結

維護小組:

外部的資源:

本原始碼套件構建了以下這些二進位制包:
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_2.0.7-1.debian.tar.xz 5。0 kB 74383bf4c02b7f53a714c48ac6f357f2
elpi_2.0.7-1.dsc 2。4 kB 9baeeebe269ee76d08dadfd47826c92e
elpi_2.0.7.orig.tar.gz 2,580。6 kB af1ea7c67d8e5e5bd242d9fbfe733686
Debian 套件原始碼倉庫(VCSGit
https://salsa.debian.org/ocaml-team/elpi.git
Debian 套件原始碼倉庫(可線上瀏覽)
https://salsa.debian.org/ocaml-team/elpi