all options
bookworm  ] [  trixie  ] [  forky  ] [  sid  ] [  experimental  ]

Source Package: elpi (3.4.3-1)

Links for elpi

Debian Resources:

Maintainers:

External Resources:

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.

The following binary packages are built from this source package:
elpi
interprete lambda-Prolog incorporabile (strumento)
libelpi-ocaml
interprete lambda-Prolog incorporabile (file runtime)
libelpi-ocaml-dev
interprete lambda-Prolog incorporabile (file di sviluppo)

Other Packages Related to elpi

  • build-depends
  • build-depends-indep

Download elpi

FileSize (in kB)MD5 checksum
elpi_3.4.3-1.dsc 2.4 kB 6368db988fab4f1b703b4c94896e71d0
elpi_3.4.3.orig.tar.gz 2,637.0 kB 9341c3ef91265146a3815ace4192ccb4
elpi_3.4.3-1.debian.tar.xz 5.1 kB 3379e681c1e8c7a09bd7a49bf2fae416
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/ocaml-team/elpi.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/ocaml-team/elpi