New Upstream Release - polymake

There were merge conflicts while merging a new upstream version.

Upstream version: 3.5.

More details

Full run details

A new upstream version is available: 4.1

Historical runs