Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package coq for openSUSE:Factory checked in at 2021-02-26 21:59:54 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/coq (Old) and /work/SRC/openSUSE:Factory/.coq.new.2378 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "coq" Fri Feb 26 21:59:54 2021 rev:10 rq:875244 version:8.13.1 Changes: -------- --- /work/SRC/openSUSE:Factory/coq/coq.changes 2021-02-08 11:47:43.589739109 +0100 +++ /work/SRC/openSUSE:Factory/.coq.new.2378/coq.changes 2021-02-26 21:59:56.627846765 +0100 @@ -1,0 +2,7 @@ +Thu Feb 25 21:50:43 UTC 2021 - Aaron Puchert <aaronpuch...@alice-dsl.net> + +- Update to version 8.13.1. + * Fix arities of VM opcodes for some floating-point operations + that could cause memory corruption. + +------------------------------------------------------------------- Old: ---- coq-8.13.0.tar.gz New: ---- coq-8.13.1.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ coq.spec ++++++ --- /var/tmp/diff_new_pack.tlv9qc/_old 2021-02-26 21:59:57.267847327 +0100 +++ /var/tmp/diff_new_pack.tlv9qc/_new 2021-02-26 21:59:57.267847327 +0100 @@ -20,7 +20,7 @@ %bcond_without ide Name: coq -Version: 8.13.0 +Version: 8.13.1 Release: 0 Summary: Proof Assistant based on the Calculus of Inductive Constructions License: LGPL-2.1-only ++++++ coq-8.13.0.tar.gz -> coq-8.13.1.tar.gz ++++++ /work/SRC/openSUSE:Factory/coq/coq-8.13.0.tar.gz /work/SRC/openSUSE:Factory/.coq.new.2378/coq-8.13.1.tar.gz differ: char 13, line 1
