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.