alla flaggor
bookworm  ] [  trixie  ] [  forky  ] [  sid  ] [  experimental  ]
[ Källkod: elpi  ]

Paket: elpi (2.0.7-1 och andra)

Länkar för elpi

Screenshot

Debianresurser:

Hämta källkodspaketet elpi:

Ansvariga:

Externa resurser:

Liknande paket:

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.

Andra paket besläktade med elpi

  • beror
  • rekommenderar
  • föreslår
  • enhances

Hämta elpi

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Version Paketstorlek Installerad storlek Filer
amd64 2.0.7-1+b1 1.808,8 kbyte9.128,0 kbyte [filförteckning]
arm64 2.0.7-1+b1 2.062,8 kbyte10.820,0 kbyte [filförteckning]
ppc64el 2.0.7-1+b1 1.818,4 kbyte9.988,0 kbyte [filförteckning]
riscv64 2.0.7-1+b1 1.884,6 kbyte9.772,0 kbyte [filförteckning]
s390x 2.0.7-1+b1 1.826,5 kbyte10.560,0 kbyte [filförteckning]