ARM SoC driver has kind of complicated history.

It was forked from xf86-video-omap and stored on Linaro git server:

http://git.linaro.org/gitweb?p=arm/xorg/driver/xf86-video-armsoc.git;a=summary

This version has Mali 400 support and is at 0.5.1 version.

But package sources are fetched from the Xorg repository, which contains
more modern sources:

git://anongit.freedesktop.org/xorg/driver/xf86-video-armsoc

Unfortunately, no tarballs are available anymore from code in this
repository, so the debian/watch file does not really work. Tarball must
be created manually.

Latest news: we have taken now a patch from
https://github.com/endlessm/xf86-video-armsoc
which makes things work better on Xilinx platforms.

 -- Alfonso <abeato@numancia>, Wed, 26 May 2021 15:38:42 +0200
