| Version | EAPI | Keywords | Slot |
|---|---|---|---|
| 4.5 | 8 | ~amd64 ~x86 | 0 |
# automatically generated by g-sorcery
# please do not edit this file
EAPI=8
REPO_URI="https://elpa.nongnu.org/nongnu/"
SOURCE_TYPE="tar"
REALNAME="proof-general"
DIGEST_SOURCES="yes"
inherit g-sorcery gs-elpa
DESCRIPTION="A generic Emacs interface for proof assistants"
HOMEPAGE="https://proofgeneral.github.io/"
SRC_URI="${REPO_URI}${REALNAME}-${PV}.${SUFFIX}"
SLOT="0"
KEYWORDS="~amd64 ~x86"
DEPEND=""
RDEPEND=""