Overview
Request 1111804 accepted
- Update to version 4.1.2.
* Ensured compatibility from Coq 8.12 to 8.18.
- Update to version 4.1.3.
* Avoided breaking users of `IEEE754.PrimFloat`.
- Created by aaronpuchert
- In state accepted
Request History
aaronpuchert created request
- Update to version 4.1.2.
* Ensured compatibility from Coq 8.12 to 8.18.
- Update to version 4.1.3.
* Avoided breaking users of `IEEE754.PrimFloat`.
staging-bot added as a reviewer
Being evaluated by staging project "openSUSE:Factory:Staging:adi:28"
staging-bot accepted review
Picked "openSUSE:Factory:Staging:adi:28"
factory-auto added opensuse-review-team as a reviewer
Please review sources
factory-auto accepted review
Check script succeeded
licensedigger accepted review
ok
darix accepted review
Accepted review for by_group opensuse-review-team request 1111804 from user factory-auto
dimstar_suse accepted review
Staging Project openSUSE:Factory:Staging:adi:28 got accepted.
dimstar_suse approved review
Staging Project openSUSE:Factory:Staging:adi:28 got accepted.
dimstar_suse accepted request
Staging Project openSUSE:Factory:Staging:adi:28 got accepted.
