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

原始碼套件:elpi(1.18.2-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.18.2-1.dsc 2。4 kB 8b4945018fbf0acff200c21e5fb29ed8
elpi_1.18.2.orig.tar.gz 2,568。6 kB e9bcaaf135735055f7d3205af5d43bf3
elpi_1.18.2-1.debian.tar.xz 4。4 kB a4b474e735082cc2d52c2e0eaac3f0e3
Debian 套件原始碼倉庫(VCSGit
https://salsa.debian.org/ocaml-team/elpi.git
Debian 套件原始碼倉庫(可線上瀏覽)
https://salsa.debian.org/ocaml-team/elpi