And apt thinks the 1.2-3 from Ubuntu is more current than the 1.2-3 from Debian. So working around this needs apt-pinning :(
And apt thinks the 1.2-3 from Ubuntu is more current than the 1.2-3 from Debian. So working around this needs apt-pinning :(