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.

Loading...
Request History
Aaron Puchert's avatar

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.


Saul Goodman's avatar

licensedigger accepted review

ok


Factory Auto's avatar

factory-auto accepted review

Check script succeeded


Yuchen Lin's avatar

maxlin_factory added as a reviewer

Being evaluated by staging project "openSUSE:Backports:SLE-15-SP6:Staging:adi:11"


Yuchen Lin's avatar

maxlin_factory accepted review

Picked "openSUSE:Backports:SLE-15-SP6:Staging:adi:11"


Yuchen Lin's avatar

maxlin_factory accepted review

Staging Project openSUSE:Backports:SLE-15-SP6:Staging:adi:11 got accepted.


Yuchen Lin's avatar

maxlin_factory approved review

Staging Project openSUSE:Backports:SLE-15-SP6:Staging:adi:11 got accepted.


Yuchen Lin's avatar

maxlin_factory accepted request

Staging Project openSUSE:Backports:SLE-15-SP6:Staging:adi:11 got accepted.

openSUSE Build Service is sponsored by