Overview

Request 720581 accepted

Initial release based on version 7.07.

Loading...

Aaron Puchert's avatar

@olh: I need this for Coq, which I want to submit to science, and then later to Factory as well.


Request History
Aaron Puchert's avatar

aaronpuchert created request

Initial release based on version 7.07.


Factory Auto's avatar

factory-auto added opensuse-review-team as a reviewer

Please review sources


Factory Auto's avatar

factory-auto accepted review

Check script succeeded


Saul Goodman's avatar

licensedigger accepted review

ok


Staging Bot's avatar

staging-bot added openSUSE:Factory:Staging:adi:2 as a reviewer

Being evaluated by staging project "openSUSE:Factory:Staging:adi:2"


Staging Bot's avatar

staging-bot accepted review

Picked openSUSE:Factory:Staging:adi:2


Dominique Leuenberger's avatar

dimstar accepted review


Olaf Hering's avatar

olh accepted review


Staging Bot's avatar

staging-bot accepted review

ready to accept


Staging Bot's avatar

staging-bot approved review

ready to accept


Dominique Leuenberger's avatar

dimstar_suse accepted request

Accept to openSUSE:Factory

openSUSE Build Service is sponsored by