Hi all, I just updated package on mentors.debian.org. Changes from last upload: * patches for build system merged to upstream by upstream author * dep5 for copyright * git repo at collab-maint Could somebody take a look? Thanks!