And I've confirmed locally that replacing that 4th entry with YosysHQ/abc does make the repos check out properly and start building, at which point I get: