Closed pniederw closed 7 years ago
Probably should be http://nexus.usethesource.io/content/repositories/public/
.
Thanks for pointing out. We recently switched from Nexus 3 back to Nexus 2 and also changed the URL of the CI server. I'll fix it immediately.
http://nexus.rascal-mpl.org/repository/maven-public/
, as given in the README, doesn't work.