Version of user-mode-linux: 6.5um1
Architecture of user-mode-linux: amd64
Version of polymake: 4.11-2+b6
Architecture of polymake: amd64