Paket: elpi (2.0.7-1 ve diğerleri)

elpi için bağlantılar

Debian Kaynakları:

elpi Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Ana Sayfa [github.com]

Benzer paketler:

embeddable lambda-Prolog interpreter (tool)

ELPI implements a lambda-Prolog interpreter enriched with constraint handling rules, to provide an extension language to larger applications written in OCaml.

This package provides the command-line tool.

elpi ile İlgili Diğer Paketler

bağımlılıklar

tavsiye edilen

önerilen

enhances

dep: libc6 (>= 2.38)

GNU C Library: Shared libraries
ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb
dep: libelpi-ocaml (= 2.0.7-1+b1)

embeddable lambda-Prolog interpreter (runtime files)

elpi indir

Tüm mevcut mimariler için indir
Mimari	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
amd64	2.0.7-1+b1	1.808,8 kB	9.128,0 kB	[dosya listesi]
arm64	2.0.7-1+b1	2.062,8 kB	10.820,0 kB	[dosya listesi]
ppc64el	2.0.7-1+b1	1.818,4 kB	9.988,0 kB	[dosya listesi]
riscv64	2.0.7-1+b1	1.884,6 kB	9.772,0 kB	[dosya listesi]
s390x	2.0.7-1+b1	1.826,5 kB	10.560,0 kB	[dosya listesi]