5.7 must also not be tagged as the repository builder expects.
5.8 is an alias for HEAD so it should have development packages.
