Hi Norbert, that might be interesting for you: after the jessie2stretch upgrade of lhs2tex we have a mixture of texlive 2014+2016 packages, so some Breaks might still be missing.
(There is now #864225 against lhs2tex to switch the dependency to texlive-science, so this reproducer of the problem will go away soon). On 2017-06-05 14:30, Andreas Beckmann wrote: > lhs2tex: texlive-math-extra survives the distupgrade to stretch https://piuparts.debian.org/jessie2stretch/pass/lhs2tex_1.19-4+b1.log install ok installed texlive-base texlive-base 2016.20170123-5 install ok installed texlive-binaries texlive-binaries 2016.20160513.41080.dfsg-1 install ok installed texlive-fonts-recommended texlive-fonts-recommended 2016.20170123-5 install ok installed texlive-latex-base texlive-latex-base 2016.20170123-5 install ok installed texlive-math-extra texlive-math-extra 2014.20141024-1 Andreas