Overview
Request 864179 accepted
- Initial version 1.11, needed for Coq 8.13.0.
- Created by aaronpuchert
- In state accepted
- Supersedes 863729
Request History
aaronpuchert created request
- Initial version 1.11, needed for Coq 8.13.0.
factory-auto added opensuse-review-team as a reviewer
Please review sources
factory-auto accepted review
Check script succeeded
dimstar_suse added as a reviewer
Being evaluated by staging project "openSUSE:Factory:Staging:adi:60"
dimstar_suse accepted review
Picked "openSUSE:Factory:Staging:adi:60"
licensedigger accepted review
ok
dimstar accepted review
olh accepted review
dimstar_suse accepted review
Staging Project openSUSE:Factory:Staging:adi:60 got accepted.
dimstar_suse approved review
Staging Project openSUSE:Factory:Staging:adi:60 got accepted.
dimstar_suse accepted request
Staging Project openSUSE:Factory:Staging:adi:60 got accepted.