It's also missing on
http://repo.mysql.com/apt/debian/dists/wheezy/
[DIR] Parent Directory 01-Jan-1970 00:00 -
[FILE] InRelease 31-May-2018 21:08 24k
[FILE] Release 31-May-2018 21:08 24k
[FILE] Release.gpg 31-May-2018 21:08 1k
[DIR] connector-python-2.0/ 25-Sep-2017 11:19 -
[DIR] connector-python-2.1/ 25-Sep-2017 11:19 -
[DIR] mysql-5.6/ 18-Apr-2018 21:41 -
[DIR] mysql-5.7-dmr/ 09-Aug-2016 13:30 -
[DIR] mysql-5.7/ 18-Apr-2018 21:41 -
[DIR] mysql-apt-config/ 07-Nov-2017 12:23 -
[DIR] mysql-cluster-7.5/ 20-Apr-2018 12:33 -
[DIR] mysql-cluster-7.6/ 31-May-2018 23:37 -
[DIR] mysql-tools-preview/ 25-Sep-2017 11:19 -
[DIR] mysql-tools/ 25-Sep-2017 11:19 -
[DIR] mysql-utilities-1.5/ 25-Sep-2017 11:19 -