Missing gazebo9 packages in melodic.

edit

After setting up the OSRF repo, I'm unable to install Gazebo 9 on Ubuntu Bionic with ROS Melodic.

docker run -it ros:melodic bash
# apt update
# apt install curl
# curl -sSL http://packages.osrfoundation.org/gazebo.key | apt-key add --yes -
# echo "deb http://packages.osrfoundation.org/gazebo/ubuntu-stable/ bionic main" > /etc/apt/sources.list.d/gazebo-stable.list
# apt update
# apt install ros-melodic-gazebo9-dev
Reading package lists... Done
Building dependency tree       
Reading state information... Done
E: Unable to locate package ros-melodic-gazebo9-dev
# apt install ros-melodic-gazebo-dev
... tries to install gazebo11-related packages

This repo directory doesn't show a gazebo9 package, but the gazebo11 package is there: http://packages.osrfoundation.org/gaz...

Did Melodic+Gazebo9 support end? Is this just a blip that will get fixed soon?