Welcome to GPLDL - we are still beta - please report any bugs via the contact form.
Seems the Divi Theme is not in the repo anymore? Only the Divi-Builder?
I hope it would be available again
No, worries, it is there. We just removed the older Elegant Themes WordPress Themes, which are not maintained anymore.