gpo.zugaina.org

Search Portage & Overlays:

app-emacs/idris-mode

Major mode for editing Idris code

Screenshots

ChangeLog

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.