Paketti: elpi (3.3.1-1)
Links for elpi
Debian-palvelut:
Imuroi lähdekoodipaketti elpi:
Ylläpitäjät:
External Resources:
- Kotisivu [github.com]
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
|
|
|
|
-
- 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
Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
---|---|---|---|
amd64 | 1,936.0 kt | 9,770.0 kt | [tiedostoluettelo] |
arm64 | 2,222.8 kt | 11,666.0 kt | [tiedostoluettelo] |
ppc64el | 1,952.2 kt | 10,642.0 kt | [tiedostoluettelo] |
s390x | 1,962.6 kt | 11,294.0 kt | [tiedostoluettelo] |