Gentoo Packages

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

Search

Package Information

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

Ebuild Details

Version EAPI Keywords Slot
20260203.1712 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"

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