app-emacs/nael
Major mode for Lean
-
nael-0.8.1~amd64 ~x86
View
Download
Browse License: Overlay: melpa-stable
ChangeLog
commit 081ccee656e70ed10fc00b42a7c7122890874102
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Fri Jan 23 10:00:44 2026 +0000
Auto-generated ebuilds 2026-01-23T10:00:44.
commit 087ea932d153d330ead8f0c13f63a6dfa2a20b13
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Thu Jan 15 13:30:45 2026 +0000
Auto-generated ebuilds 2026-01-15T13:30:45.
commit 78069ba604b64dbd571427aafaa55fd045073170
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Mon Dec 15 15:00:44 2025 +0000
Auto-generated ebuilds 2025-12-15T15:00:44.
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Fri Jan 23 10:00:44 2026 +0000
Auto-generated ebuilds 2026-01-23T10:00:44.
commit 087ea932d153d330ead8f0c13f63a6dfa2a20b13
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Thu Jan 15 13:30:45 2026 +0000
Auto-generated ebuilds 2026-01-15T13:30:45.
commit 78069ba604b64dbd571427aafaa55fd045073170
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Mon Dec 15 15:00:44 2025 +0000
Auto-generated ebuilds 2025-12-15T15:00:44.

