{"bugs":[],"categories":[{"categoryid":395,"name":"app-editors","summary":"The app-editors category contains text editors."},{"categoryid":410,"name":"app-emacs","summary":"The app-emacs category contains extension packages for the Emacs text editor."},{"categoryid":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"33f49a8621d5a1961b6bcf5af36fcc93e614b0e8","committime":"2023-06-21T21:46:50","packageid":74126,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"8cd51272c6e7ffa7eb450a06610e05293f22e562","committime":"2023-06-21T20:15:02","packageid":74126,"repoid":1,"summary":"app-emacs\/lean-mode: drop old 20220501"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"e59eeac02351b1affb2f8b2e6c440f180c09fa81","committime":"2023-06-21T20:14:39","packageid":74126,"repoid":1,"summary":"app-emacs\/lean-mode: bump to 0_p20230611"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"8d27054960b87842faad5e1353bb10f66f50d943","committime":"2023-06-21T20:09:51","packageid":74126,"repoid":1,"summary":"app-emacs\/lean-mode: drop old 20220124-r1"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"983646ee5474e654bede8df88cc3a7c04ad38296","committime":"2023-06-21T20:09:39","packageid":74126,"repoid":1,"summary":"app-emacs\/lean-mode: drop old 20211220-r1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"8a962bde2102b18db101b9f1555dbcd70658a137","committime":"2023-03-26T17:01:59","packageid":74126,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"matthew@gentoo.org","authorname":"Matthew Smith","body":"Not needed after elisp-common.eclass changed the default to\n25.3 (the oldest currently in tree).\n\nSigned-off-by: Matthew Smith \n[Whitespace: removed double empty lines]\nSigned-off-by: Ulrich Müller ","commitid":"21070120f4f34c3532063e087c90bf415e925ff5","committime":"2023-03-23T11:51:55","packageid":74126,"repoid":1,"summary":"app-emacs\/*: drop redundant NEED_EMACS"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"27d81486f52af91b6dde78637a70cc77236445e3","committime":"2023-01-30T20:46:57","packageid":74126,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Bug: https:\/\/github.com\/pkgcore\/pkgcheck\/issues\/536\nSigned-off-by: Maciej Barć ","commitid":"ff7d89fb05372a559134e51f6dee5de3ab45b488","committime":"2023-01-30T20:29:45","packageid":74126,"repoid":1,"summary":"app-emacs: H -> COMMIT"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6a48e2483bdd20f53fca77a199d5941d5985d2f2","committime":"2022-06-05T23:02:55","packageid":74126,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"2022.05.01 snapshot\n\nSigned-off-by: Maciej Barć ","commitid":"f507414bacf6077d0fff4371a0ca268f111f1fc2","committime":"2022-06-05T22:10:25","packageid":74126,"repoid":1,"summary":"app-emacs\/lean-mode: bump to 20220501"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"1bc047d41486e4b9e4d21ed4c86a08dcd7fecae8","committime":"2022-06-05T22:07:44","packageid":74126,"repoid":1,"summary":"app-emacs\/lean-mode: DEPEND -> BDEPEND"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"d95250f116b3e4aee49d9cdcbc2634916e48b065","committime":"2022-03-01T22:51:46","packageid":74126,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"5e4d9abcfadba411f766338d65b704598083d932","committime":"2022-03-01T22:30:59","packageid":74126,"repoid":1,"summary":"app-emacs\/lean-mode: use ELISP_REMOVE"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"238a80bf5fc444de131126affaf3cf3e675c8b78","committime":"2022-01-31T02:06:01","packageid":74126,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"fd99c873af49d7592e15c0f06a2644cca602220f","committime":"2022-01-31T01:47:53","packageid":74126,"repoid":1,"summary":"app-emacs\/lean-mode: bump to 20220124"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"4c12d689c7b87c457f69aff69a5903d745889593","committime":"2022-01-21T16:51:49","packageid":74126,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.28, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"61d5f30bff79d725a02660bafe72d8a5187b564b","committime":"2022-01-21T16:41:31","packageid":74126,"repoid":1,"summary":"app-emacs\/lean-mode: new package; add version 20211220"}],"dependencies":[],"depending":[],"ebuilds":[{"archs":["~amd64"],"ebuildid":791240,"firstseen":"2023-06-21T22:49:21.090464","license":"GPL-2+","moddate":"2024-12-16T19:07:10","packageid":74126,"repoid":1,"slot":"0","uses":[],"version":"0_p20230611"}],"masks":[],"package":{"categoryid":410,"description":"Emacs mode for the Lean 3 theorem prover","firstseen":"2022-01-21T17:05:32.358403","name":"lean-mode","packageid":74126,"summary":"Provides a major mode for the Lean 3 programming language. Provides highlighting, diagnostics, goal visualization and many other useful features for Lean users."},"rdependencies":[{"block":false,"categoryid":395,"description":"The extensible, customizable, self-documenting real-time display editor","ebuildids":[791240],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"gnu-emacs@gentoo.org","maintainername":"Gentoo GNU Emacs project","name":"emacs","packageid":45775,"summary":"GNU Emacs is an extensible, customizable text editor - and more. At its core is an interpreter for Emacs Lisp, a dialect of the Lisp programming language with extensions to support text editing. The features of GNU Emacs include: * Content-sensitive editing modes, including syntax coloring, for a variety of file types including plain text, source code, and HTML. * Complete built-in documentation, including a tutorial for new users. * Full Unicode support for nearly all human languages and their scripts. * Highly customizable, using Emacs Lisp code or a graphical interface. * A large number of extensions that add other functionality, including a project planner, mail and news reader, debugger interface, calendar, and more. Many of these extensions are distributed with GNU Emacs; others are available separately."},{"block":false,"categoryid":410,"description":"A modern list library for Emacs","ebuildids":[791240],"firstseen":"2015-10-21T13:38:45.895612","maintainer":"gnu-emacs@gentoo.org","maintainername":"Gentoo GNU Emacs project","name":"dash","packageid":64545},{"block":false,"categoryid":410,"description":"The long lost Emacs string manipulation library","ebuildids":[791240],"firstseen":"2016-09-10T18:26:35.177204","name":"s","packageid":65793},{"block":false,"categoryid":410,"description":"Modern API for working with files and directories in Emacs","ebuildids":[791240],"firstseen":"2016-09-10T18:26:35.177204","name":"f","packageid":65794},{"block":false,"categoryid":410,"description":"Modern on-the-fly syntax checking extension for GNU Emacs","ebuildids":[791240],"firstseen":"2021-09-18T04:41:39.883488","name":"flycheck","packageid":73346,"summary":"Flycheck is a modern on-the-fly syntax checking extension for GNU Emacs, intended as replacement for the older Flymake extension which is part of GNU Emacs."},{"block":false,"categoryid":317,"description":"The Lean Theorem Prover","ebuildids":[791240],"firstseen":"2021-11-26T13:37:00.805088","name":"lean","packageid":73639,"summary":"The Lean theorem prover is a proof assistant developed principally by Leonardo de Moura at Microsoft Research."}],"repos":[{"branch":"master","lastcommit":"6d2a1f5e3a255ee1c973cb3fdd26513a5452ea37","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/github.com\/leanprover\/lean-mode\/"],"uses":[]}