Tagged gsoc2018-portkalipackages-extra by samueloph@debian.org