mirror of
https://github.com/correl/melpa.git
synced 2024-11-28 03:00:14 +00:00
2 lines
62 B
Text
2 lines
62 B
Text
|
(idris-mode :repo "idris-hackers/idris-mode" :fetcher github)
|