gpo.zugaina.org

Search Portage & Overlays:

app-emacs/idris-mode

Major mode for editing Idris code

Screenshots

ChangeLog

commit 1e95f22062b44b3708c09b56fb2334f41c633e2e
Author: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>
Date: Sat Mar 4 18:56:32 2023 +0500

*/*: update metadata schema uri

Signed-off-by: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>

commit f3c71c8eaeb90eba128f8933e35ffc1eae2d35a3
Author: Matthew Smith <matthew@gentoo.org>
Date: Sun Feb 13 20:10:56 2022 +0000

app-emacs/idris-mode: drop to maintainer-needed

Signed-off-by: Matthew Smith <matthew@gentoo.org>

commit 6ea474d30038c1cb8d45f0a7edd2c3db75160f61
Author: Matt Smith <matt@offtopica.uk>
Date: Sun Jun 20 18:01:38 2021 +0100

app-emacs/idris-mode: Disable tests

Tests require Idris, which is not yet packaged. Also fix the tarball name.

Closes: https://bugs.gentoo.org/796971
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Matt Smith <matt@offtopica.uk>

commit 3a4a28fe33a8bba17620d4e45806fcba433a8b41
Author: Matt Smith <matt@offtopica.uk>
Date: Sun Jun 20 11:43:14 2021 +0100

app-emacs/idris-mode: Init at 1.0

Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Matt Smith <matt@offtopica.uk>