It is impossible to install ProR from http://www.stups.hhu.de/pror_updates/rodin
Cannot complete the install because one or more required items could not be found.
Software being installed: ProR Rodin Integration Feature 0.12.0.201501131033 (com.formalmind.rmf.reqif10.pror.presentation.rodin.feature.feature.group 0.12.0.201501131033)
Missing requirement: ProR Rodin Presentation 0.12.0.201501131033 (com.formalmind.rmf.reqif10.pror.presentation.rodin 0.12.0.201501131033) requires 'bundle org.eclipse.rmf.serialization 0.12.0' but it could not be found
Cannot satisfy dependency:
From: ProR Rodin Integration Feature 0.12.0.201501131033 (com.formalmind.rmf.reqif10.pror.presentation.rodin.feature.feature.group 0.12.0.201501131033)
To: com.formalmind.rmf.reqif10.pror.presentation.rodin [0.12.0.201501131033]
ProR is apparently not available anymore.
Its update site does not work anymore and was removed from Rodin's default update sites in 2016, by commit [57cdba]. Someone asked on the mailing list in 2017 if anyone knew how to install it, without getting any answer.
Therefore, we can't do anything about this bug report and close it.
Related
Commit: [57cdba]