Installation of VLC media player fails

The GNOME Software application fails to install version 2.2.6-6 of VLC media player package since three of its dependencies are not found in the Purism repository as of 2017.11.01 that is Nov 1, 2017.

Detailed errors from the package manager follow:

E: http://repo.puri.sm/pureos green/main amd64 libmatroska6v5 amd64 1.4.7-2 is not (yet) available (404  Not Found)
E: http://repo.puri.sm/pureos green/main amd64 libopenmpt-modplug1 amd64 0.2.8760~beta27-1 is not (yet) available (404  Not Found)
E: http://repo.puri.sm/pureos green/main amd64 libsdl-image1.2 amd64 1.2.12-6 is not (yet) available (404  Not Found)

When will these library packages be published onto Purism repository?

Installs just fine here. Are you sure you issued sudo apt update before instal command?

yes, vlc works for me too.

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?