Overview
Request 916845 accepted
- Add documentation package based on github.com/coq/doc until we
can build the documentation directly in OBS.
- Created by aaronpuchert
- In state accepted
Request History
aaronpuchert created request
- Add documentation package based on github.com/coq/doc until we
can build the documentation directly in OBS.
factory-auto added opensuse-review-team as a reviewer
Please review sources
factory-auto accepted review
Check script succeeded
dimstar_suse added openSUSE:Factory:Staging:adi:13 as a reviewer
Being evaluated by staging project "openSUSE:Factory:Staging:adi:13"
dimstar_suse accepted review
Picked "openSUSE:Factory:Staging:adi:13"
licensedigger accepted review
The legal review is accepted preliminary. The package may require actions later on.
dimstar accepted review
dimstar_suse accepted review
Staging Project openSUSE:Factory:Staging:adi:13 got accepted.
dimstar_suse approved review
Staging Project openSUSE:Factory:Staging:adi:13 got accepted.
dimstar_suse accepted request
Staging Project openSUSE:Factory:Staging:adi:13 got accepted.
