Gentoo Packages

app-emacs/lambdapi-mode - 20260329.807 (melpa)

Search

Install

Install this version:

emerge -a =app-emacs/lambdapi-mode-20260329.807

If this version is masked, you can unmask it using the autounmask tool or standard emerge options:

autounmask =app-emacs/lambdapi-mode-20260329.807

Or alternatively:

emerge --autounmask-write -a =app-emacs/lambdapi-mode-20260329.807

Package Information

Description:
A major mode for editing Lambdapi source code
Homepage:
https://github.com/Deducteam/lambdapi

Ebuild Details

Version EAPI Keywords Slot
20260329.807 8 ~amd64 ~x86 0
View Raw Ebuild 
# automatically generated by g-sorcery
# please do not edit this file

EAPI=8

REPO_URI="https://melpa.org/packages/"
SOURCE_TYPE="tar"
REALNAME="lambdapi-mode"
DIGEST_SOURCES="yes"

inherit g-sorcery gs-elpa

DESCRIPTION="A major mode for editing Lambdapi source code"

HOMEPAGE="https://github.com/Deducteam/lambdapi"
SRC_URI="${REPO_URI}${REALNAME}-${PV}.${SUFFIX}"

SLOT="0"
KEYWORDS="~amd64 ~x86"

DEPEND="app-emacs/eglot
	app-emacs/math-symbol-lists
	app-emacs/highlight"
RDEPEND="app-emacs/eglot
	app-emacs/math-symbol-lists
	app-emacs/highlight"

Inherited Eclasses

g-sorcery
gs-elpa

Dependencies

DEPEND

app-emacs/eglot
	app-emacs/math-symbol-lists
	app-emacs/highlight

RDEPEND

app-emacs/eglot
	app-emacs/math-symbol-lists
	app-emacs/highlight