{application,concuerror,
             [{description,"Concuerror: Stateless Model Checking tool for Erlang programs"},
              {vsn,"0.20.0"},
              {applications,[kernel,stdlib]},
              {maintainers,["Stavros Aronis","Kostis Sagonas"]},
              {licenses,["BSD-2-Clause"]},
              {links,[{"Github","https://github.com/parapluu/Concuerror"},
                      {"Website","http://parapluu.github.io/Concuerror"}]}]}.