{application,proper,
             [{description,"A QuickCheck-inspired property-based testing tool for Erlang"},
              {maintainers,["Manolis Papadakis","Eirini Arvaniti",
                            "Kostis Sagonas"]},
              {licenses,["GPL3"]},
              {link,[{"GitHub","https://github.com/proper-testing/proper"}]},
              {vsn,"1.4.0"},
              {registered,[]},
              {applications,[compiler,kernel,stdlib]},
              {env,[]}]}.