idris-hackers/idris-mode — pull request #261 by jfdm (2014-10-28 14:15:36+00:00)
Title: Added badges for MELPA and MELPA Stable.

Give people direct links to the melpa and melpa stable repositories.