The package polymake 4.6-5 has been removed from kali-dev. -- More information about polymake: http://pkg.kali.org/pkg/polymake