Overview
Request 849178 accepted
- Update to version 8.12.1. This contains mostly bug fixes:
* Polymorphic side-effects inside monomorphic definitions were
incorrectly handled as not inlined. This allowed deriving an
inconsistency.
* Regression in error reporting after SSReflect's case tactic.
A generic error message "Could not fill dependent hole in
apply" was reported for any error following case or elim.
* Several bugs with Search.
* The details environment introduced in coqdoc in Coq 8.12 can
now be used as advertised in the reference manual.
* View menu "Display parentheses" introduced in CoqIDE in
Coq 8.12 now works correctly.
- Use memoryperjob constraint instead of %limit_build macro.
- Created by aaronpuchert
- In state accepted
Request History
aaronpuchert created request
- Update to version 8.12.1. This contains mostly bug fixes:
* Polymorphic side-effects inside monomorphic definitions were
incorrectly handled as not inlined. This allowed deriving an
inconsistency.
* Regression in error reporting after SSReflect's case tactic.
A generic error message "Could not fill dependent hole in
apply" was reported for any error following case or elim.
* Several bugs with Search.
* The details environment introduced in coqdoc in Coq 8.12 can
now be used as advertised in the reference manual.
* View menu "Display parentheses" introduced in CoqIDE in
Coq 8.12 now works correctly.
- Use memoryperjob constraint instead of %limit_build macro.
factory-auto added opensuse-review-team as a reviewer
Please review sources
factory-auto accepted review
Check script succeeded
licensedigger accepted review
ok
RBrownSUSE added openSUSE:Factory:Staging:adi:24 as a reviewer
Being evaluated by staging project "openSUSE:Factory:Staging:adi:24"
RBrownSUSE accepted review
Picked "openSUSE:Factory:Staging:adi:24"
namtrac accepted review
dimstar_suse accepted review
Staging Project openSUSE:Factory:Staging:adi:24 got accepted.
dimstar_suse approved review
Staging Project openSUSE:Factory:Staging:adi:24 got accepted.
dimstar_suse accepted request
Staging Project openSUSE:Factory:Staging:adi:24 got accepted.