5 Commits

Author	SHA1	Message	Date
Henrik Lissner	a9402cfb55	Fix #2373: bring back package pinning ... This needs some serious refactoring...	2020-01-25 19:02:00 -05:00
Henrik Lissner	4cc14389e8	PIN ALL THE PACKAGES	2020-01-14 22:32:11 -05:00
Patrick Elliott	fb5d1ae739	Remove (unmaintained) helm-idris package	2018-08-25 16:22:04 +02:00
Patrick Elliott	e64b8322a4	Added helm-idris	2018-08-25 15:35:06 +02:00
Patrick Elliott	a2c1a62cd6	Add basic idris support	2018-08-21 13:35:58 +02:00