gpo.zugaina.org

Search Portage & Overlays:

app-emacs/idris-mode

Major mode for editing Idris code

Screenshots

ChangeLog

commit 49e2f50e719f78c08ff99e4c3aa2a73d216d6102
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Mon Nov 17 13:31:39 2025 +0000

Auto-generated ebuilds 2025-11-17T13:31:39.

commit 51ac0087c2b87e0ab15a1e0577242e73d9752405
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Fri Oct 10 19:15:43 2025 +0000

Auto-generated ebuilds 2025-10-10T19:15:43.

commit 79bfc74cc44e50f472e1d7627fb64ce8f6cfe24a
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Mon Aug 25 15:51:09 2025 +0000

Auto-generated ebuilds 2025-08-25T15:51:09.

commit 6aa01f9872113253e1745ecc24a7aab23530c06a
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Thu Apr 24 12:51:34 2025 +0000

Auto-generated ebuilds 2025-04-24T12:51:34.

commit c130f68c041bc44e22e949cc27f1b4125f2bd921
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Wed Apr 23 12:37:58 2025 +0000

Auto-generated ebuilds 2025-04-23T12:37:58.

commit 7b35f2d2e8d57fd3ca16796c1df44638601eba8b
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Fri Apr 11 07:12:03 2025 +0000

Auto-generated ebuilds 2025-04-11T07:12:02.

commit 37438199120f10e06f51d86153e9a482c0f1769c
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Sun Jul 14 19:33:18 2024 +0000

Auto-generated ebuilds 2024-07-14T19:33:18.

commit a01f09ea3fbacbc8fec9ccb5837439dae0793337
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Mon Jun 10 13:51:14 2024 +0000

Auto-generated ebuilds 2024-06-10T13:51:14.

commit 651f07d7f1d616a58f3663b8aea929d254701e83
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Tue Apr 23 15:31:45 2024 +0000

Auto-generated ebuilds 2024-04-23T15:31:45.

commit 585cdfde7b1c0c3a7f2069dcfb0139f53c772199
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Mon Aug 7 13:17:46 2023 +0000

Auto-generated ebuilds 2023-08-07T13:17:46.

commit 2bc1b9b14b455767cceb0fd614d6c8b585370966
Author: Markus Walter <markus@jonglieren-jena.de>
Date: Thu Nov 4 22:11:10 2021 +0100

Initial mirror of melpa.