public marks

PUBLIC MARKS from tadeufilippini with tags instalador & "debian intelx86"