BDEPEND=>=app-editors/emacs-25.3:*
DEFINED_PHASES=compile configure install postinst postrm prepare setup test unpack
DEPEND=app-emacs/dash app-emacs/s app-emacs/f app-emacs/flycheck
DESCRIPTION=A major mode for the Lean 3 language
EAPI=8
HOMEPAGE=https://github.com/leanprover/lean-mode
KEYWORDS=~amd64 ~x86
RDEPEND=app-emacs/dash app-emacs/s app-emacs/f app-emacs/flycheck >=app-editors/emacs-25.3:*
SLOT=0
SRC_URI=https://melpa.org/packages/lean-mode-20230611.728.tar
_eclasses_=elisp	fbefa95f5e9ab880a34bc69832b7c0d7	elisp-common	abb2dda42f680fce87602c8273f832c7	g-sorcery	692c9ad583c66d03e7c0e8b3b106a435	gs-elpa	df4b672ca6bb8e009e294018c3bee8bf
_md5_=b3c651bdf5fef093bc50010d89705a8d