Some time in the last weeks, polymake disappeared from the Arch Linux package repositories. The corresponding webpage is https://archlinux.org/packages/extra/x86_64/polymake/
What is the recommended workaround for that? Are there plans to bring polymake back to the Arch repos?
Thanks!