Commit Graph

4 Commits

Author SHA1 Message Date
Anna (cybertailor) Vyalkova
1e95f22062 */*: update metadata schema uri
Signed-off-by: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>
2023-03-04 18:56:32 +05:00
Matthew Smith
f3c71c8eae app-emacs/idris-mode: drop to maintainer-needed
Signed-off-by: Matthew Smith <matthew@gentoo.org>
2022-02-13 20:34:08 +00:00
Matt Smith
6ea474d300 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>
2021-06-20 18:01:38 +01:00
Matt Smith
3a4a28fe33 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>
2021-06-20 11:43:28 +01:00