Installation of VLC media player fails

The last time I downloaded package information from Purism repository was a month ago on 2017.10.06, following GDM3 issue reported on this forum.

% sudo apt update

If VLC media player package information should become consistent upon synchronizing it with the Purism repository, why it was not the case upon the previous synchronization?