[ Source: elpi ]
Package: elpi (3.3.1-1)
Links for elpi
Debian Resources:
Download Source Package elpi:
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
Experimental package
Warning: This package is from the experimental distribution. That means it is likely unstable or buggy, and it may even cause data loss. Please be sure to consult the changelog and other possible documentation before using it.
Lamba-Prolog-fortolker der kan indlejres - værktøj
ELPI implementerer en lambda-Prolog-fortolker beriget med regler til begrænsningshåndtering, for at tilbyde et omfattende sprog til større programmer skrevet i OCaml.
Denne pakke tilbyder kommandolinjeværktøjet.
Other Packages Related to elpi
|
|
|
|
-
- dep: libc6 (>= 2.38)
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
-
- dep: libelpi-ocaml (= 3.3.1-1)
- Lamba-Prolog-fortolker der kan indlejres - kørselstidsfiler
Download elpi
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 1,936.0 kB | 9,770.0 kB | [list of files] |
| arm64 | 2,222.8 kB | 11,666.0 kB | [list of files] |
| ppc64el | 1,952.2 kB | 10,642.0 kB | [list of files] |
| s390x | 1,962.6 kB | 11,294.0 kB | [list of files] |