UbuntuUpdates.org

Package "elpi"

Name: elpi

Description:

embeddable lambda-Prolog interpreter (tool)

Latest version: 1.18.2-5build3
Release: oracular (24.10)
Level: base
Repository: universe
Homepage: https://github.com/LPCIC/elpi

Links


Download "elpi"


Other versions of "elpi" in Oracular

No other version of this package is available in the Oracular release.

Changelog

There is no recent update for this package.



About   -   Send Feedback to @ubuntu_updates