wiki_filename:BuildRes.Release17p7p2

header: key=ostype_major, label=OS Type
header: key=host, label=Host
header: key=result, label=Result
header: key=date, label=Date
header: key=time, label=Time
header: key=coderev, label=Code

filter: key=code, val=moos-ivp-17.7.2
#filter: key=ostype, val=ubuntu 16.04 64bit