{application, hts, [
   {description, "HTS CTT-CCHM Homotopy Type System"},
   {vsn, "1.3.1"},
   {registered, []},
   {applications, [kernel, stdlib, parsetools]},
   {mod, { homotopy, []}},
   {env, []} ]}.