Reference

polymake-config(1) on Linux

The text 7ea0d2a80dde, as Debian 13 (Trixie), Debian 12 (Bookworm), Debian 11 (Bullseye), Debian 10 (Buster), Debian 9 (Stretch) shipped it. The page shows this text now.

script to get information about the installed version of polymake

Flags it lists

polymake-config(1) on Linux now