Hello Antony,
well, I pushed an additional patch repo - the documentation generation
hung because of some LaTeX errors.
I also have done a source only upload, but because of some openmip
transition related dependency conflicts it will take some time until
the build servers can actually build the package. I did test build in a
somewhat outdated sid though.
Best,
Gert
PS: From Thursday on I'll be mostly off-line until Feb. 15.