Hello community, here is the log from the commit of package coq for openSUSE:Factory checked in at 2020-06-07 21:37:49 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/coq (Old) and /work/SRC/openSUSE:Factory/.coq.new.3606 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "coq" Sun Jun 7 21:37:49 2020 rev:5 rq:812064 version:8.11.2 Changes: -------- --- /work/SRC/openSUSE:Factory/coq/coq.changes 2020-04-09 23:17:59.774332650 +0200 +++ /work/SRC/openSUSE:Factory/.coq.new.3606/coq.changes 2020-06-07 21:38:17.661445539 +0200 @@ -1,0 +2,14 @@ +Sat Jun 6 12:11:06 UTC 2020 - Aaron Puchert <aaronpuch...@alice-dsl.net> + +- Update to version 8.11.2. + * Fixed a kernel issue where using Require inside a section + caused an anomaly when closing the section. + * Fixed normalization in conclusion of custom induction scheme. + * Fixed a loss of location of some tactic errors. + * Ignore -native-compiler option when built without native + compute support. + * Fixed a segfault issue with CoqIDE completion. + * Highlighting style is now consistently applied to all three + buffers of CoqIDE. + +------------------------------------------------------------------- Old: ---- coq-8.11.1.tar.gz New: ---- coq-8.11.2.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ coq.spec ++++++ --- /var/tmp/diff_new_pack.Hd8ssM/_old 2020-06-07 21:38:18.229447340 +0200 +++ /var/tmp/diff_new_pack.Hd8ssM/_new 2020-06-07 21:38:18.233447353 +0200 @@ -18,7 +18,7 @@ Name: coq -Version: 8.11.1 +Version: 8.11.2 Release: 0 Summary: Proof Assistant based on the Calculus of Inductive Constructions License: LGPL-2.1-only ++++++ coq-8.11.1.tar.gz -> coq-8.11.2.tar.gz ++++++ /work/SRC/openSUSE:Factory/coq/coq-8.11.1.tar.gz /work/SRC/openSUSE:Factory/.coq.new.3606/coq-8.11.2.tar.gz differ: char 16, line 1