idris-hackers/idris-mode — pull request #199 by david-christiansen (2014-06-25 09:07:09+00:00)
Title: Add README note about setting packages

This will hopefully help prevent confusion. Users on IRC have had issues with this.