Version of python-sphinx-copybutton-doc: 0.4.0-5
Architecture of python-sphinx-copybutton-doc: all
Version of polymake: 4.11-2+b6
Architecture of polymake: amd64