Merge proposals dependent on lp:~ivle-dev/ivle/debian-packaging

lp:~ivle-dev/ivle/debian-packaging has no merge proposals.