Tarkennettu haku
bookworm  ] [  trixie  ] [  forky  ] [  sid  ] [  experimental  ]
[ Source: elpi  ]

Paketti: elpi (3.3.1-1)

Links for elpi

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti elpi:

Ylläpitäjät:

External Resources:

Samankaltaisia paketteja:

Kokeellinen paketti

Varoitus: Tämä paketti on kokeellisesta jakelusta. Tämä tarkoittaa, että se on luultavasti epävakaa tai buginen, ja voi aiheuttaa jopa tiedonhäviötä. Kannattaa ehdottomasti tutustua muutoslokiin ja muihin mahdollisiin ohjeisiin ennen käyttöönottoa.

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.

Muut pakettiin elpi liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances
  • dep: libc6 (>= 2.38)
    GNU-C-kirjasto: jaetut kirjastot
    myös näennäispaketti, jonka toteuttaa libc6-udeb
  • dep: libelpi-ocaml (= 3.3.1-1)
    embeddable lambda-Prolog interpreter (runtime files)

Imuroi elpi

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
amd64 1,936.0 kt9,770.0 kt [tiedostoluettelo]
arm64 2,222.8 kt11,666.0 kt [tiedostoluettelo]
ppc64el 1,952.2 kt10,642.0 kt [tiedostoluettelo]
s390x 1,962.6 kt11,294.0 kt [tiedostoluettelo]