wiki_filename:BuildRes.Release15p5

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

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