Overview
Request 792575 accepted
- Update to version 8.11.1, with upstream support for OCaml 4.10.
* Allow more inductive types in Unset Positivity Checking mode.
* Fixed bugs in dealing with precedence of notations in custom
entries.
* In primitive floats, print a warning when parsing a decimal
value that is not exactly a binary64 floating-point number.
For instance, parsing 0.1 will print a warning whereas parsing
0.5 won't.
* Fixed an issue in CoqIDE about compiling file paths containing
spaces.
* Fixed an issue where Extraction Implicit on the constructor of
a record was leading to an anomaly.
- Remove now obsolete ocaml-410-build.patch.
- Created by aaronpuchert
- In state accepted
Request History
aaronpuchert created request
- Update to version 8.11.1, with upstream support for OCaml 4.10.
* Allow more inductive types in Unset Positivity Checking mode.
* Fixed bugs in dealing with precedence of notations in custom
entries.
* In primitive floats, print a warning when parsing a decimal
value that is not exactly a binary64 floating-point number.
For instance, parsing 0.1 will print a warning whereas parsing
0.5 won't.
* Fixed an issue in CoqIDE about compiling file paths containing
spaces.
* Fixed an issue where Extraction Implicit on the constructor of
a record was leading to an anomaly.
- Remove now obsolete ocaml-410-build.patch.
factory-auto added opensuse-review-team as a reviewer
Please review sources
factory-auto accepted review
Check script succeeded
licensedigger accepted review
ok
dimstar_suse added openSUSE:Factory:Staging:adi:15 as a reviewer
Being evaluated by staging project "openSUSE:Factory:Staging:adi:15"
dimstar_suse accepted review
Picked "openSUSE:Factory:Staging:adi:15"
dimstar accepted review
dimstar_suse added factory-staging as a reviewer
Being evaluated by group "factory-staging"
dimstar_suse accepted review
Unstaged from project "openSUSE:Factory:Staging:adi:15"
dimstar_suse added openSUSE:Factory:Staging:adi:63 as a reviewer
Being evaluated by staging project "openSUSE:Factory:Staging:adi:63"
dimstar_suse accepted review
Picked "openSUSE:Factory:Staging:adi:63"
dimstar_suse accepted review
Staging Project openSUSE:Factory:Staging:adi:63 got accepted.
dimstar_suse approved review
Staging Project openSUSE:Factory:Staging:adi:63 got accepted.
dimstar_suse accepted request
Staging Project openSUSE:Factory:Staging:adi:63 got accepted.