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
# 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"
app-emacs/eglot app-emacs/math-symbol-lists app-emacs/highlight
app-emacs/eglot app-emacs/math-symbol-lists app-emacs/highlight