submit-request from: radomir_cernoch home:radomir_cernoch/spin -> openSUSE:Factory:Contrib/spin https://build.opensuse.org/package/show?package=spin&project=home:radomir_cernoch https://build.opensuse.org/package/show?package=spin&project=openSUSE:Factory:Contrib Description: Asking to add Spin (linear temporal logic model checker). Source revision md5: b867ebaa1bbc6548bfca0b47adb2875a To REVIEW against the previous version: osc submitreq show --diff 5936 To ACCEPT the request: osc submitreq accept 5936 --message="reviewed ok." To DECLINE the request: osc submitreq decline 5936 --message="declined for reason xyz (see ... for background / policy / ...)." To REVOKE the request: osc submitreq revoke 5936 --message="retracted because ..., sorry / thx / see better version ..." -- Hermes messaging (http://hermes.opensuse.org) openSUSE Build Service (https://build.opensuse.org/) Collaboration: http://en.opensuse.org/Build_Service/Collaboration -- To unsubscribe, e-mail: opensuse-contrib+unsubscribe@opensuse.org For additional commands, e-mail: opensuse-contrib+help@opensuse.org