emenel/doomemacs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
doomemacs/modules/lang/idris/packages.el

5 lines
99 B
EmacsLisp
Raw Normal View History

Add basic idris support
2018-08-21 13:35:58 +02:00
;; -*- no-byte-compile: t; -*-
;;; lang/idris/packages.el
Fix #2373: bring back package pinning This needs some serious refactoring...
2020-01-25 03:49:42 -05:00
(package! idris-mode :pin "acc8835449")
Reference in a new issue Copy permalink