Thanks for the reply. I have just found out the the Debian julia package is dead. So it is unlikely that we will have a polymake package in Debian in the long run and a short term solution is no longer important. I feel sad about that, but while I would have been able to support a hack I don't think...