+%{_eclipsedir}/features/org.python.pydev*
+%{_eclipsedir}/plugins/org.python.pydev*
+
+%triggerpostun -- %{name} <= 0.9.5-0.1
+%banner %{name}-0.9.5-0.2 << EOF
+!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
+!!! !!!
+!!! WARNING!!! !!!
+!!! !!!
+!!! An user manual intervention is required after eclipse-pydev !!!
+!!! instalation. To get this plugin working you have to add !!!
+!!! /usr/share/eclipse directory as Extension Location. Click !!!
+!!! from eclipse menu Help->Software Updates->Manage Configuration !!!
+!!! ->Add an Extension Location and choose /usr/share/eclipse . !!!
+!!! !!!
+!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
+EOF