Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
app-emacs
/
lean-mode
Emacs mode for the Lean 3 theorem prover
https://github.com/leanprover/lean-mode/
Overview
Dependencies
QA report
Pull requests
0
Bugs
0
Security
0
Changelog
Latest Commits
Atom feed
Commits on 2023-06-21
app-emacs/lean-mode: drop old 20220501
8cd5127
Maciej Barć
committed on 2023-06-21 21:38:35 UTC
app-emacs/lean-mode/Manifest
app-emacs/lean-mode/lean-mode-20220501.ebuild
app-emacs/lean-mode: bump to 0_p20230611
e59eeac
Maciej Barć
committed on 2023-06-21 21:38:35 UTC
app-emacs/lean-mode/lean-mode-0_p20230611.ebuild
app-emacs/lean-mode/Manifest
app-emacs/lean-mode: drop old 20220124-r1
8d27054
Maciej Barć
committed on 2023-06-21 21:38:34 UTC
app-emacs/lean-mode/Manifest
app-emacs/lean-mode/lean-mode-20220124-r1.ebuild
app-emacs/lean-mode: drop old 20211220-r1
983646e
Maciej Barć
committed on 2023-06-21 21:38:34 UTC
app-emacs/lean-mode/Manifest
app-emacs/lean-mode/lean-mode-20211220-r1.ebuild
Commits on 2023-03-26
app-emacs/*: drop redundant NEED_EMACS
2107012
Matthew Smith
authored
and
Ulrich Müller
committed on 2023-03-26 16:50:43 UTC
app-emacs/lean-mode/lean-mode-20211220-r1.ebuild
app-emacs/lean-mode/lean-mode-20220124-r1.ebuild
app-emacs/lean-mode/lean-mode-20220501.ebuild
Commits on 2023-01-30
app-emacs: H -> COMMIT
ff7d89f
Maciej Barć
committed on 2023-01-30 20:31:30 UTC
app-emacs/lean-mode/lean-mode-20211220-r1.ebuild
app-emacs/lean-mode/lean-mode-20220124-r1.ebuild
app-emacs/lean-mode/lean-mode-20220501.ebuild
Commits on 2022-06-05
app-emacs/lean-mode: bump to 20220501
f507414
Maciej Barć
committed on 2022-06-05 22:57:15 UTC
app-emacs/lean-mode/lean-mode-20220501.ebuild
app-emacs/lean-mode/Manifest
app-emacs/lean-mode: DEPEND -> BDEPEND
1bc047d
Maciej Barć
committed on 2022-06-05 22:57:14 UTC
app-emacs/lean-mode/lean-mode-20211220-r1.ebuild
app-emacs/lean-mode/lean-mode-20220124-r1.ebuild
app-emacs/lean-mode/lean-mode-20211220.ebuild
app-emacs/lean-mode/lean-mode-20220124.ebuild
Commits on 2022-03-08
app-emacs: drop xgqt (myself) from maintainers
ff62031
Maciej Barć
committed on 2022-03-08 14:06:58 UTC
app-emacs/lean-mode/metadata.xml
Commits on 2022-03-01
app-emacs/lean-mode: use ELISP_REMOVE
5e4d9ab
Maciej Barć
committed on 2022-03-01 22:30:59 UTC
app-emacs/lean-mode/lean-mode-20211220.ebuild
app-emacs/lean-mode/lean-mode-20220124.ebuild
Commits on 2022-01-31
app-emacs/lean-mode: bump to 20220124
fd99c87
Maciej Barć
committed on 2022-01-31 01:47:58 UTC
app-emacs/lean-mode/lean-mode-20220124.ebuild
app-emacs/lean-mode/Manifest
Commits on 2022-01-21
app-emacs/lean-mode: new package; add version 20211220
61d5f30
Maciej Barć
committed on 2022-01-21 16:42:48 UTC
app-emacs/lean-mode/Manifest
app-emacs/lean-mode/files/50lean-mode-gentoo.el
app-emacs/lean-mode/lean-mode-20211220.ebuild
app-emacs/lean-mode/metadata.xml