idris-hackers/idris-mode — pull request #141 by david-christiansen (2014-05-08 13:05:22+00:00)
Title: Insertion of fields for ipkg-files

I can never remember what they're called or what's available, so I
automated inserting them.