Самым простым решением здесь является обновление до Debian 10/Buster, так как он уже имеет php7.2-curl
и соответствующие зависимости по умолчанию.
Очевидно, что при обновлении до Buster репозиторий deb.sury.org не нужен.
Из пакетов Debian:https://packages.debian.org/sid/php7.2-curl
vnc4server действительно принадлежит RealVNC, как указано на странице руководства. Он был упакован для Debian в 2004 году Олой Лундквист , и именно так он попадает в Ubuntu. Последней упакованной для Debian версией была 4.1.1 в Jessie(с исправлениями ), после чего она была заменена на TigerVNC в Stretch .
Исходники версии 4.1.3 можно загрузить со страницы архива RealVNC . Вы также можете получить исходные коды Debian для Джесси(ищите ссылки на исходный пакет на боковой панели ).
Но, как и в случае с Debian, вместо этого вы можете переключиться на TigerVNC. Я не думаю, что RealVNC делал какие-либо разработки для vnc4 с 2005 года (, судя по отметкам времени в архиве ).