app-emacs/idris-mode
Major mode for editing Idris code
-
idris-mode-1.1.0~amd64 ~x86
View Download Browse License:Overlay: nongnu-elpa -
idris-mode-1.0~amd64 ~x86
View Download Browse License:Overlay: melpa-stable
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>
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>