{application,idris2,
             [{description,"Erlang code generator for Idris 2"},
              {vsn,"0.2.1-alpha.1"},
              {registered,[]},
              {applications,[kernel,stdlib]},
              {env,[]},
              {modules,[]},
              {licenses,["BSD-3-Clause"]},
              {links,[{"GitHub",
                       "https://github.com/chrrasmussen/Idris2-Erlang"}]}]}.