As well, the new 5.8 repository has development packages, not the 5.7 ones...
I'd be happy to look at the repository generator code if it's available
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.
