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