User Manual for Rodin v.2.3: Software installation fails

4.2.7 Software installation fails

The installation of software from update sites (Help $\rangle$ Install New Software...) sometimes fails with an error saying something like:

No repository found containing: osgi.bundle,org.eclipse.emf.compare,1.0.1.v200909161031
No repository found containing: osgi.bundle,org.eclipse.emf.compare.diff,1.0.1.v200909161031
...

This is an eclipse/p2 bug, referenced here.

The workaround is to:

Go to Window $\rangle$ Preferences $\rangle$ Install/Update $\rangle$ Available Software Sites
Remove all sites then add them back again, which can be achieved in the Available Software Sites preference page by:
Select all update sites (by highlighting them all those that are checked)
Export them
Remove them
Restart Rodin
Go back to the preference page and import update sites back (from the previously exported file)

Rodin Handbook

4.2.7 Software installation fails