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

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

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_2.0.7-2.dsc 2。2 kB 8a65303a578affa40e03ba9ff4060b22
elpi_2.0.7.orig.tar.gz 2,580。6 kB af1ea7c67d8e5e5bd242d9fbfe733686
elpi_2.0.7-2.debian.tar.xz 5。6 kB bdef133b28d0707a22eccbc1289193c8
Debian 套件原始碼倉庫(VCSGit
https://salsa.debian.org/ocaml-team/elpi.git
Debian 套件原始碼倉庫(可線上瀏覽)
https://salsa.debian.org/ocaml-team/elpi