全部搜尋項
bookworm  ] [  trixie  ] [  sid  ]

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

elpi 的相關連結

Debian 的資源:

維護小組:

外部的資源:

本原始碼套件構建了以下這些二進位制包:
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_1.19.6-1.dsc 2。4 kB 1a3698acce9b03f4c5648f1c4c4cd851
elpi_1.19.6.orig.tar.gz 2,583。7 kB 0a2f4367e4d8c7d37da7e3470f9e1fd4
elpi_1.19.6-1.debian.tar.xz 4。8 kB de48dd098bb33386cd924c8ab5aa20a3
Debian 套件原始碼倉庫(VCSGit
https://salsa.debian.org/ocaml-team/elpi.git
Debian 套件原始碼倉庫(可線上瀏覽)
https://salsa.debian.org/ocaml-team/elpi