{application,eqc,
    [{mod,{eqc,[]}},
     {description,"Quviq QuickCheck Mini"},
     {vsn,"1.0.1"},
     {modules,[eqc,eqc_gen,eqc_symbolic,eqc_warn]},
     {applications,[kernel,stdlib,inets]}]}.