debia 9 does not build anymore

For sone old dune releases we still rebuild debian 9 from time to time. But this seems to fail recently. The package repository maybe does not provide the packages anymore.

Do we want to rebuild the debian 9 base image anylonger, or do we just conserve/backup the current state for the old dune releases, or do we drop debuan 9 completely?