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-05-02 18:36:08
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Comparing /work/SRC/openSUSE:Factory/coq (Old)
and /work/SRC/openSUSE:Factory/.coq.new.1947 (New)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "coq"
Sun May 2 18:36:08 2021 rev:11 rq:889764 version:8.13.2
Changes:
--------
--- /work/SRC/openSUSE:Factory/coq/coq.changes 2021-02-26 21:59:56.627846765
+0100
+++ /work/SRC/openSUSE:Factory/.coq.new.1947/coq.changes 2021-05-02
18:39:17.172137292 +0200
@@ -1,0 +2,9 @@
+Mon Apr 12 21:17:33 UTC 2021 - Aaron Puchert <aaronpuch...@alice-dsl.net>
+
+- Update to version 8.13.2.
+ * Fix crash when using vm_compute on an irreducible PArray.set.
+ * Fix crash when loading .vo files containing a vm_compute
+ normalized primitive array.
+ * Fix Ltac2.Array.init computational complexity.
+
+-------------------------------------------------------------------
Old:
----
coq-8.13.1.tar.gz
New:
----
coq-8.13.2.tar.gz
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Other differences:
------------------
++++++ coq.spec ++++++
--- /var/tmp/diff_new_pack.lKrPdm/_old 2021-05-02 18:39:17.672135161 +0200
+++ /var/tmp/diff_new_pack.lKrPdm/_new 2021-05-02 18:39:17.676135144 +0200
@@ -20,7 +20,7 @@
%bcond_without ide
Name: coq
-Version: 8.13.1
+Version: 8.13.2
Release: 0
Summary: Proof Assistant based on the Calculus of Inductive
Constructions
License: LGPL-2.1-only
@@ -65,6 +65,7 @@
Group: Development/Libraries/Other
Requires: %{name} = %{version}-%{release}
Requires: ocaml >= 4.05.0
+Requires: ocamlfind(findlib)
%description devel
This package contains development files for Coq.
++++++ coq-8.13.1.tar.gz -> coq-8.13.2.tar.gz ++++++
/work/SRC/openSUSE:Factory/coq/coq-8.13.1.tar.gz
/work/SRC/openSUSE:Factory/.coq.new.1947/coq-8.13.2.tar.gz differ: char 28,
line 1
