This website requires JavaScript.
Explore
Help
Sign In
mirrors
/
guru
Watch
1
Star
0
Fork
0
You've already forked guru
mirror of
https://github.com/gentoo-mirror/guru.git
synced
2026-07-10 15:45:15 -04:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
05dfe1336ed9da593e195075cfa1cd68bb6a6cbc
guru
/
app-emacs
/
idris-mode
History
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
..
files
app-emacs/idris-mode: Init at 1.0
2021-06-20 11:43:28 +01:00
idris-mode-1.0.ebuild
app-emacs/idris-mode: Disable tests
2021-06-20 18:01:38 +01:00
idris-mode-9999.ebuild
app-emacs/idris-mode: Disable tests
2021-06-20 18:01:38 +01:00
Manifest
app-emacs/idris-mode: Disable tests
2021-06-20 18:01:38 +01:00
metadata.xml
app-emacs/idris-mode: drop to maintainer-needed
2022-02-13 20:34:08 +00:00
