Package - elpi

Package:  elpi
apt-get install elpi
Manuals in package:
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/e/elpi/elpi_2.0.7-1+b1_amd64.deb (Size: 1.8MiB)

PropertyValue
Packageelpi
Sourceelpi (2.0.7-1)
Version2.0.7-1+b1
Installed-Size9128
MaintainerDebian OCaml Maintainers
Architectureamd64
Dependslibelpi-ocaml (= 2.0.7-1+b1), libc6 (>= 2.38)
Descriptionembeddable lambda-Prolog interpreter (tool)
Description-md5f7bf6d601995cf75b1c02c4c67a89060
Homepagehttps://github.com/LPCIC/elpi
Sectionocaml
Priorityoptional
Filenamepool/main/e/elpi/elpi_2.0.7-1+b1_amd64.deb
Size1852240
MD5sum505fab3cb1a48ac6d9fc3fc85b82b923
SHA2560984c2600094a99bbbb4a20b4a21c4997be916511302ab48b44d97b28771068c

Files in package

  • /usr/bin/elpi
  • /usr/bin/elpi-trace-elaborator
  • /usr/share/doc/elpi/changelog.Debian.amd64.gz
  • /usr/share/doc/elpi/changelog.Debian.gz
  • /usr/share/doc/elpi/changelog.gz
  • /usr/share/doc/elpi/copyright
  • /usr/share/man/man1/elpi.1.gz