Package: vnc4server

"vnc4server" package binaries on Debian:

/usr/bin/vnc4config /usr/bin/vnc4passwd /usr/bin/vnc4server /usr/bin/x0vnc4server /usr/bin/Xvnc4

You may install this package on Debian with apt-get install vnc4server