Merge proposals dependent on lp:~gabriel1984sibiu/maxima/debian

lp:~gabriel1984sibiu/maxima/debian has no merge proposals.