Overview
Request 1142145 accepted
- Update to version 4.1.4.
* Ensured compatibility from Coq 8.12 to 8.19.
- Created by aaronpuchert
- In state accepted
Request History
aaronpuchert created request
- Update to version 4.1.4.
* Ensured compatibility from Coq 8.12 to 8.19.
factory-auto added opensuse-review-team as a reviewer
Please review sources
factory-auto accepted review
Check script succeeded
licensedigger accepted review
ok
staging-bot added openSUSE:Factory:Staging:adi:5 as a reviewer
Being evaluated by staging project "openSUSE:Factory:Staging:adi:5"
staging-bot accepted review
Picked "openSUSE:Factory:Staging:adi:5"
dimstar accepted review
anag+factory accepted review
Staging Project openSUSE:Factory:Staging:adi:5 got accepted.
anag+factory approved review
Staging Project openSUSE:Factory:Staging:adi:5 got accepted.
anag+factory accepted request
Staging Project openSUSE:Factory:Staging:adi:5 got accepted.