Overview
Request 1156435 accepted
- Update to version 8.19.1.
* Fixed incorrect abstraction of sort variables for opaque
constants leading to an inconsistency.
* Fixed memory corruption with `vm_compute` (rare but more
likely with OCaml 5.1).
* "Found no matching notation to enable or disable" is now a
warning instead of an error.
* Fixed undeclared universe with multiple uses of `abstract`.
* Fixed incorrect printing of constructor values with multiple
arguments, and over-parenthesizing of constructor printing.
* Fixed incorrect declared type for Ltac2.FMap.fold.
- Created by aaronpuchert
- In state accepted
Request History
aaronpuchert created request
- Update to version 8.19.1.
* Fixed incorrect abstraction of sort variables for opaque
constants leading to an inconsistency.
* Fixed memory corruption with `vm_compute` (rare but more
likely with OCaml 5.1).
* "Found no matching notation to enable or disable" is now a
warning instead of an error.
* Fixed undeclared universe with multiple uses of `abstract`.
* Fixed incorrect printing of constructor values with multiple
arguments, and over-parenthesizing of constructor printing.
* Fixed incorrect declared type for Ltac2.FMap.fold.
licensedigger accepted review
ok
factory-auto accepted review
Check script succeeded
maxlin_factory added as a reviewer
Being evaluated by staging project "openSUSE:Backports:SLE-15-SP6:Staging:adi:11"
maxlin_factory accepted review
Picked "openSUSE:Backports:SLE-15-SP6:Staging:adi:11"
maxlin_factory accepted review
Staging Project openSUSE:Backports:SLE-15-SP6:Staging:adi:11 got accepted.
maxlin_factory approved review
Staging Project openSUSE:Backports:SLE-15-SP6:Staging:adi:11 got accepted.
maxlin_factory accepted request
Staging Project openSUSE:Backports:SLE-15-SP6:Staging:adi:11 got accepted.