Overview
Request 980556 superseded
- Update to version 4.1.0.
* Added `Bnearbyint` and `Btrunc` in `IEEE754`.
* Ensured compatibility from Coq 8.12 to 8.16.
- Fix patching of coqdoc invocation, make it more robust.
- Patch up coqdoc also for older Coq versions since they don't
understand --coqlib_url.
- Created by aaronpuchert
- In state superseded
- Supersedes 980554
- Superseded by 980558
-
Open review for
opensuse-review-team
- Open review for openSUSE:Factory:Staging:adi:3
Request History
aaronpuchert created request
- Update to version 4.1.0.
* Added `Bnearbyint` and `Btrunc` in `IEEE754`.
* Ensured compatibility from Coq 8.12 to 8.16.
- Fix patching of coqdoc invocation, make it more robust.
- Patch up coqdoc also for older Coq versions since they don't
understand --coqlib_url.
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:3 as a reviewer
Being evaluated by staging project "openSUSE:Factory:Staging:adi:3"
dimstar_suse accepted review
Picked "openSUSE:Factory:Staging:adi:3"
licensedigger accepted review
ok
